diff options
| author | herbelin | 2007-02-01 17:27:55 +0000 |
|---|---|---|
| committer | herbelin | 2007-02-01 17:27:55 +0000 |
| commit | dd82ad0407241b09a108c324a28207d8535b3bbb (patch) | |
| tree | 4787f2bc2a17c862d854c8a84607e1ccc370a1d0 /kernel/make-opcodes | |
| parent | 4f0b038d2d4da7320b9814ac14130c94b0212a1b (diff) | |
Petite relecture partie ring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9580 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/make-opcodes')
0 files changed, 0 insertions, 0 deletions