diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 16:25:32 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 16:25:32 +0200 |
commit | ee1bff39423ca0679fd15906056372751e1b03e2 (patch) | |
tree | 7441f237577c21508b77ca1b8c3c121b401e610d /exts/tsref.pyc | |
parent | 6edadef7840f2104ad40dfa086641bccee8b2c57 (diff) | |
download | docs-ee1bff39423ca0679fd15906056372751e1b03e2.tar.gz docs-ee1bff39423ca0679fd15906056372751e1b03e2.tar.bz2 docs-ee1bff39423ca0679fd15906056372751e1b03e2.zip |
move content away to proper repos, plus killing obsolete stuff
Diffstat (limited to 'exts/tsref.pyc')
-rw-r--r-- | exts/tsref.pyc | bin | 0 -> 8461 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/exts/tsref.pyc b/exts/tsref.pyc Binary files differnew file mode 100644 index 00000000..152acafd --- /dev/null +++ b/exts/tsref.pyc |