diff options
author | jforest <jforest@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-05-26 08:10:33 +0000 |
---|---|---|
committer | jforest <jforest@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-05-26 08:10:33 +0000 |
commit | e53df7b8ea4542f84fd85dafc667511cc1252bc3 (patch) | |
tree | a4ffec31907d48a5883b1d6e0dd6a0d5ab6504d1 /doc | |
parent | b61f3a445f309c493ab21cd1b521506b7ba34925 (diff) |
removing a warning
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8862 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions