diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-03-27 15:19:53 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-03-27 15:19:53 +0000 |
| commit | 7ae6a2ab344aa0d46572535ec2e0abb5251b3184 (patch) | |
| tree | dcf215cd1d715b951feb96c36147924c89acf1da /tools | |
| parent | ba7d0994f166b7e5a2545af294e01e899b6e20d9 (diff) | |
- correction du bug #1055
- modification des propriétés sur trunk et trunk/test-suite
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8665 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions