diff options
| author | herbelin | 2004-09-24 17:56:05 +0000 |
|---|---|---|
| committer | herbelin | 2004-09-24 17:56:05 +0000 |
| commit | 33c03c270a2380c8462914b02c3355d4a5cea273 (patch) | |
| tree | ba4523cbe3a09608a623b71ef63183aacdec8aaa /scripts | |
| parent | 5a09134ebee8d92d9ed05d04d2808a30a2d83900 (diff) | |
Simplifications concommitantes à la correction du bug #855
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6126 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions