diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-31 11:28:07 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-31 11:28:07 +0000 |
| commit | c92795e934758a32472ebc5766ff0f61b1c1409c (patch) | |
| tree | 3628f5d5bd86aed6f9817d423ab87aeb65daee0c | |
| parent | a2a3ced83eea3919639adafbdacb7ec11011f9cb (diff) | |
Moved old TeX documents to old/ to make them not interfere with doc building.
| -rw-r--r-- | doc/old/banner.tex (renamed from doc/banner.tex) | 0 | ||||
| -rw-r--r-- | doc/old/status.tex (renamed from doc/status.tex) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/banner.tex b/doc/old/banner.tex index e1170562..e1170562 100644 --- a/doc/banner.tex +++ b/doc/old/banner.tex diff --git a/doc/status.tex b/doc/old/status.tex index cd7ce897..cd7ce897 100644 --- a/doc/status.tex +++ b/doc/old/status.tex |