diff options
| author | coq | 2002-10-01 14:27:59 +0000 |
|---|---|---|
| committer | coq | 2002-10-01 14:27:59 +0000 |
| commit | 5ec22b65a16f82a3816635c3a4857a5ae544d6db (patch) | |
| tree | 8955728e985e330ffeb12e343a78647711626061 /dev | |
| parent | b06ab7a63160bd70f3e740836a25bc788be04998 (diff) | |
Oops...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3060 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions