diff options
| author | herbelin | 2006-01-20 17:00:38 +0000 |
|---|---|---|
| committer | herbelin | 2006-01-20 17:00:38 +0000 |
| commit | 7d170e8e2ee9bc08bfb05f623190a51680410a37 (patch) | |
| tree | 9305d8e080a31dc34202bffa3981dbeedf4621f0 /lib | |
| parent | d3f6e92fc69b5b64681cff285ab964b69cef5819 (diff) | |
Test bug 983
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7901 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions