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 /misc/Makefile | |
parent | a2a3ced83eea3919639adafbdacb7ec11011f9cb (diff) |
Moved old TeX documents to old/ to make them not interfere with doc building.
Diffstat (limited to 'misc/Makefile')
0 files changed, 0 insertions, 0 deletions