diff options
-rw-r--r-- | doc/ChangeLog | 4 | ||||
-rw-r--r-- | doc/data-rep.texi | 0 |
2 files changed, 4 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 6b36ebf49..00d087658 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,7 @@ +2001-03-09 Neil Jerram <neil@ossau.uklinux.net> + + * data-rep.texi: Removed. + 2001-02-15 Neil Jerram <neil@ossau.uklinux.net> * README: Explain retirement of `data-rep.texi'. diff --git a/doc/data-rep.texi b/doc/data-rep.texi deleted file mode 100644 index e69de29bb..000000000 --- a/doc/data-rep.texi +++ /dev/null |