diff options
| author | Pierre Courtieu | 2008-07-24 17:52:19 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2008-07-24 17:52:19 +0000 |
| commit | 7df9b738e0e00f28419a7307900d4c2c93b7f23b (patch) | |
| tree | 4af68198867a2a5e66f7ad55a8e4c46a7572088d /Makefile.devel | |
| parent | 9d89b1dc46e9d8b4247b7c6ce35090b403bc1354 (diff) | |
Fixed the bug with coq-guess-command-line.
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions