diff options
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! - |