diff options
| author | letouzey | 2003-10-03 15:18:00 +0000 |
|---|---|---|
| committer | letouzey | 2003-10-03 15:18:00 +0000 |
| commit | 5fe67426b4fdc3a84804cda13ab7314412fea028 (patch) | |
| tree | 24c1589e2fffa6f880c579c255a09e4c2fd2163d /dev | |
| parent | a7fd03419480a086ade17fa6d6e11ca731f363ba (diff) | |
oubli de deux flags -v7
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4519 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions