diff options
| author | herbelin | 2006-01-11 00:15:01 +0000 |
|---|---|---|
| committer | herbelin | 2006-01-11 00:15:01 +0000 |
| commit | c1bc3bc1d4ef6e6f2ccab4ae0b58db124b39c41a (patch) | |
| tree | 9a25ccf27e664e3c3aeb10bad130c5a48b44d46c /dev/base_include | |
| parent | ed2af181cf0f381e61a82b354449abb549b8b47b (diff) | |
Suppression résidus code v7 et traducteur
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7834 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions