diff options
| author | Pierre Courtieu | 2004-03-19 13:05:27 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-19 13:05:27 +0000 |
| commit | eab3b1d134cc58d975a81cacfb5ef4008aeefec6 (patch) | |
| tree | 360f4b14db1b291ceab450332be012ac50620bd9 /bin | |
| parent | 4791a7e43e5bb3dba154265abf3caa684663db83 (diff) | |
.v7 and .v8 added as coq file possible extensions.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions