diff options
| author | barras | 2004-09-08 13:53:52 +0000 |
|---|---|---|
| committer | barras | 2004-09-08 13:53:52 +0000 |
| commit | 2cc7db038d72006bf7d3b418df450c370e447421 (patch) | |
| tree | 2942b639ef6085cb7d2740c78b5d6e4aa36b9685 /dev/include | |
| parent | dee2a3d461eddffa1e858bb4a0af92dfa7575d81 (diff) | |
petit bug avec les effets de bords
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6078 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions