diff options
author | 2000-12-15 22:30:58 +0000 | |
---|---|---|
committer | 2000-12-15 22:30:58 +0000 | |
commit | c0d273f87a552fa40313df7f4bff0f2deb0c640b (patch) | |
tree | e0e2e1aa173e33f2411fe42bba211cb4f2634ecb /kernel | |
parent | 07dbcbb20f1cccb8bc6e0ef377706c13ff16d631 (diff) |
Mise en page
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1131 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions