diff options
| author | letouzey | 2006-12-17 19:53:53 +0000 |
|---|---|---|
| committer | letouzey | 2006-12-17 19:53:53 +0000 |
| commit | a32ce58114fabbd53447dca00e7f0c12990f4f17 (patch) | |
| tree | f98ab49d5d97e26320c65ccbf81492e2dc6a45a4 /kernel | |
| parent | 99f4c55d9b9eb1130bff54a1ff9028b442141231 (diff) | |
reparation bug 1239
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9455 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions