diff options
| author | sacerdot | 2001-01-12 10:41:06 +0000 |
|---|---|---|
| committer | sacerdot | 2001-01-12 10:41:06 +0000 |
| commit | 2c80742b0f1d8f51a7afcf533194a092c6007fad (patch) | |
| tree | a390ea4607cd8c07d6fe3c21ee9bd574e2d5b0d3 /scripts | |
| parent | 78a10cc3d8c46db0fd135c7ed0ee1040da1d2e03 (diff) | |
Comment fixed
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1246 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions