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 /doc | |
| parent | e1d33768ce8057b9f025d872bf757472b3a80e6c (diff) | |
Ignore file for ProofGeneral link to ../.. for testing.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions