diff options
author | 2006-05-26 08:10:33 +0000 | |
---|---|---|
committer | 2006-05-26 08:10:33 +0000 | |
commit | e53df7b8ea4542f84fd85dafc667511cc1252bc3 (patch) | |
tree | a4ffec31907d48a5883b1d6e0dd6a0d5ab6504d1 /doc/stdlib/index-list.html.template | |
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/stdlib/index-list.html.template')
0 files changed, 0 insertions, 0 deletions