diff options
author | xclerc <xclerc@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-09-20 12:28:58 +0000 |
---|---|---|
committer | xclerc <xclerc@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-09-20 12:28:58 +0000 |
commit | 48d1bf37f32df48984ee83084b8ca6aa0bd4c68a (patch) | |
tree | 74dc15595f22e7d841230f3b2a711e703332f366 /ide/coq.mli | |
parent | b4bcf9b74588b4974bdc680bcad73669e68fc1be (diff) |
Execute tests from the "bugs/closed" directory.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16794 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coq.mli')
0 files changed, 0 insertions, 0 deletions