summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2009-12-14 09:54:23 +0000
committeraarne <aarne@chalmers.se>2009-12-14 09:54:23 +0000
commit5ea49dfa86e0188055c2e391a16098f6efe74a37 (patch)
tree382bab6cc3cb88e13fbb5028a87809e3370856f7
parentb5a541e65a439969da86cf5f29e2eb60af1e5504 (diff)
moved some doc to deprecated; empty dirs in lib to enable lib/src/Make
-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)bin2785805 -> 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
index 60a44c149..60a44c149 100644
--- a/doc/summerschool-flyer.pdf
+++ b/deprecated/summerschool-flyer.pdf
Binary files differ
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