diff options
author | 2012-07-09 16:31:11 +0000 | |
---|---|---|
committer | 2012-07-09 16:31:11 +0000 | |
commit | 35dac4a85762924da7fb9b23f2029c2e5642a761 (patch) | |
tree | 1912e7eb0f2e8ec62a06ba36316693bb83ac7127 /parsing | |
parent | 33aa990046792f9617d5135d4b43de3fd0d91c3f (diff) |
Fixed fake_ide test-suite.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15564 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing')
0 files changed, 0 insertions, 0 deletions