diff options
| author | puech | 2009-10-28 13:36:30 +0000 |
|---|---|---|
| committer | puech | 2009-10-28 13:36:30 +0000 |
| commit | 4629099adffd33f1c4aaa4bb7866d7f3e58f07cd (patch) | |
| tree | c5d26838190346ea87fa1e0381c8a2b3e921ff44 /plugins | |
| parent | d06e75b5011ba29119d868e904138b5c3e2e8215 (diff) | |
Typo in the refman
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12433 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions