diff options
| -rw-r--r-- | deprecated/Grammar.epsi (renamed from doc/Grammar.epsi) | 0 | ||||
| -rw-r--r-- | deprecated/summerschool-flyer.pdf (renamed from doc/summerschool-flyer.pdf) | bin | 2785805 -> 2785805 bytes | |||
| -rw-r--r-- | deprecated/summerschool-flyer.tex (renamed from doc/summerschool-flyer.tex) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/doc/Grammar.epsi b/deprecated/Grammar.epsi index 5c398ad25..5c398ad25 100644 --- a/doc/Grammar.epsi +++ b/deprecated/Grammar.epsi diff --git a/doc/summerschool-flyer.pdf b/deprecated/summerschool-flyer.pdf Binary files differindex 60a44c149..60a44c149 100644 --- a/doc/summerschool-flyer.pdf +++ b/deprecated/summerschool-flyer.pdf diff --git a/doc/summerschool-flyer.tex b/deprecated/summerschool-flyer.tex index 86d72dc41..86d72dc41 100644 --- a/doc/summerschool-flyer.tex +++ b/deprecated/summerschool-flyer.tex |