diff options
author | 2004-07-18 16:28:26 +0000 | |
---|---|---|
committer | 2004-07-18 16:28:26 +0000 | |
commit | c806af42e185257ef0f3e0646b3c95c8086ff715 (patch) | |
tree | 475789d52e4345a10bf5562b2482bcf1f7fb1aa9 /man/coq-interface.1 | |
parent | 5d9fa80010162806e5157dfe8db58fe0b2b6d7bf (diff) |
Check is now in byte when compiled in fallback byte.
Diffstat (limited to 'man/coq-interface.1')
0 files changed, 0 insertions, 0 deletions