diff options
| author | David Aspinall | 1999-11-17 17:35:23 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-17 17:35:23 +0000 |
| commit | bd1093c5f2d3257ec68cf9659284745331c3ff85 (patch) | |
| tree | 274bc50710aef5a804a90acd3a4dd5fe41b57d91 /html | |
| parent | e1d33768ce8057b9f025d872bf757472b3a80e6c (diff) | |
Ignore file for ProofGeneral link to ../.. for testing.
Diffstat (limited to 'html')
| -rw-r--r-- | html/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/.cvsignore b/html/.cvsignore new file mode 100644 index 00000000..d6e10bc1 --- /dev/null +++ b/html/.cvsignore @@ -0,0 +1 @@ +ProofGeneral |