diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-21 14:49:02 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-21 14:49:02 +0000 |
commit | e220421fb4c3da7be7b3c6c081d971e99dff0abc (patch) | |
tree | e5e96b960b3447e65bced8c800d230f71918a660 /dev/lisezmoi.txt | |
parent | 838ffd441e80aa324ffe731f2527dbb181654308 (diff) |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@901 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/lisezmoi.txt')
0 files changed, 0 insertions, 0 deletions