diff options
| author | herbelin | 2000-10-05 19:30:25 +0000 |
|---|---|---|
| committer | herbelin | 2000-10-05 19:30:25 +0000 |
| commit | 924a98d1a98cdaddf459be9ea4ea82b651dec55e (patch) | |
| tree | e9df195725b16510a34cff1eadb16dfb767520dc /kernel | |
| parent | 43c3459cedee2476ca0739d1e88f8738b4d64ea7 (diff) | |
Code mort
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@662 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions