diff options
| author | David Aspinall | 1999-10-15 17:49:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-15 17:49:29 +0000 |
| commit | 564a582e9f3b8f491a553c6db5eb6d156157e068 (patch) | |
| tree | d0a6bd0360c3d3fd1b6e1027556a048107177117 /html/notes.txt | |
| parent | ac5723025f1de3b6d7131b58b42fa6d4a867efe5 (diff) | |
Doc fixes, php streamlining
Diffstat (limited to 'html/notes.txt')
| -rw-r--r-- | html/notes.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/html/notes.txt b/html/notes.txt index 3698a1e6..b73a7db1 100644 --- a/html/notes.txt +++ b/html/notes.txt @@ -30,5 +30,3 @@ Suggestions for improving web pages after Rod reading them: - separate feature list - explain what a proof script is and what script management buys you -Get Dave a laptop to do demos on! - |