diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-02-09 00:07:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-09 00:07:57 +0000 |
| commit | ef44b6fa35dba1d24b746cd687b0c7b6d54a96cd (patch) | |
| tree | a00f73a3e7afe39f540cdea1eb9d93068e159186 /etc/proofgeneral-domain.txt | |
| parent | 86ddfd2603299b6be81a56a12b7c3690babbf350 (diff) | |
Updated.
Diffstat (limited to 'etc/proofgeneral-domain.txt')
| -rw-r--r-- | etc/proofgeneral-domain.txt | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/etc/proofgeneral-domain.txt b/etc/proofgeneral-domain.txt index 0fd7abff..cfcf5cf4 100644 --- a/etc/proofgeneral-domain.txt +++ b/etc/proofgeneral-domain.txt @@ -1,5 +1,7 @@ -Notes about proofgeneral.org ----------------------------- + + +Notes about proofgeneral.org [obsolete!] +----------------------------------------- Hosted by freeparking.co.uk. |