diff options
| author | ppedrot | 2012-07-09 16:31:11 +0000 |
|---|---|---|
| committer | ppedrot | 2012-07-09 16:31:11 +0000 |
| commit | 35dac4a85762924da7fb9b23f2029c2e5642a761 (patch) | |
| tree | 1912e7eb0f2e8ec62a06ba36316693bb83ac7127 /doc/stdlib | |
| 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 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions