aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-26 12:51:56 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-26 12:51:56 +0000
commita587987a431e325de9d4e7f8e52a5a09746f974b (patch)
tree9347c397af363d2bc819b388628bcaeeac4a9948
parent83148633d17423254e2858be9718a2561a2a6204 (diff)
Renamed file
-rw-r--r--etc/doc-notes.txt (renamed from doc/notes.txt)0
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/notes.txt b/etc/doc-notes.txt
index 0cf83b88..0cf83b88 100644
--- a/doc/notes.txt
+++ b/etc/doc-notes.txt