diff options
| author | letouzey | 2012-05-23 16:09:02 +0000 |
|---|---|---|
| committer | letouzey | 2012-05-23 16:09:02 +0000 |
| commit | 58f0af8dc82355c6da666d8fe48b0e8b35fb4d63 (patch) | |
| tree | 1ac7a89aea47788f3cefc9b7d5f2c01b3784ad40 /plugins/xml | |
| parent | 8e04139dc1a74dae1498bfadfcfb3cd9d904fd2b (diff) | |
CHANGES: fix a typo + an entry in the wrong section
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15357 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/xml')
0 files changed, 0 insertions, 0 deletions