diff options
| author | herbelin | 2004-09-24 18:02:44 +0000 |
|---|---|---|
| committer | herbelin | 2004-09-24 18:02:44 +0000 |
| commit | e2923495653a68c52f0f8167b49fe71a056fd62f (patch) | |
| tree | 7b309422a3bd41d0a1190a5d31a85a0e3d7246c4 /scripts | |
| parent | 33c03c270a2380c8462914b02c3355d4a5cea273 (diff) | |
Ajout bug #255
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6127 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions