diff options
| author | Pierre Courtieu | 2003-01-24 12:40:57 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2003-01-24 12:40:57 +0000 |
| commit | 927f89b85a3e8a0a565ae1faed08e7fb0b13b3b9 (patch) | |
| tree | e3c6f62a5ee1dc4973b4c2611f7f7763ad713720 /etc | |
| parent | 6a0742a3aafd136a73d5014627d8c5751a788f9d (diff) | |
removed some garbage printing in coq/
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions