diff options
| author | herbelin | 2008-05-20 10:09:58 +0000 |
|---|---|---|
| committer | herbelin | 2008-05-20 10:09:58 +0000 |
| commit | c44946e4c81c6c3bf615b7b4c293f6721affb15a (patch) | |
| tree | ccd03fa10fdd8ab6b17f0e848ec440b4a4e2f7e1 /kernel | |
| parent | 6d72bed68ae739c3c513cd50fcbadf92e576f6da (diff) | |
Fixed coqide bug #1856 that was introduced in revision 10915.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10950 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions