diff options
| author | letouzey | 2001-12-19 18:01:19 +0000 |
|---|---|---|
| committer | letouzey | 2001-12-19 18:01:19 +0000 |
| commit | 85de148f4e698f4e215f54526dc9c86ce10d07ed (patch) | |
| tree | a9a8a54d52b33f814a5917b1615ff805ab22e1ff /kernel | |
| parent | 458d8598a9d81cd86dce59475c49363e1f9da729 (diff) | |
suppression de commentaires obsoletes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2346 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions