diff options
Diffstat (limited to '')
-rw-r--r-- | doc/ChangeLog | 4 | ||||
-rw-r--r-- | doc/VERSION | 0 | ||||
-rwxr-xr-x | doc/bootstrap | 0 |
3 files changed, 4 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index d4a521fb1f..27919d3985 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,7 @@ +2002-04-10 Ralf Corsepius <corsepiu@faw.uni-ulm.de> + + * VERSION, bootstrap: Removed as unneeded. + 2002-04-06 Ralf Corsepius <corsepiu@faw.uni-ulm.de> * bootstrap: Remove. diff --git a/doc/VERSION b/doc/VERSION deleted file mode 100644 index e69de29bb2..0000000000 --- a/doc/VERSION +++ /dev/null diff --git a/doc/bootstrap b/doc/bootstrap deleted file mode 100755 index e69de29bb2..0000000000 --- a/doc/bootstrap +++ /dev/null |