diff options
| author | herbelin | 2004-05-04 14:28:48 +0000 |
|---|---|---|
| committer | herbelin | 2004-05-04 14:28:48 +0000 |
| commit | 8567e6a4e6e276a3239bf61681731331fd34e168 (patch) | |
| tree | bed7a395ca885d7181e4f238ec51b03d4c6d66ed /kernel | |
| parent | 04ace1584a214476918b21901925aafcf92fb441 (diff) | |
Typo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5726 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions