diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2008-07-24 17:52:19 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 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