diff options
| author | Hugo Herbelin | 2014-09-07 13:16:28 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-09-07 13:52:47 +0200 |
| commit | 9df412c81bd3a1729cb9d570c01ef2d255f23fb3 (patch) | |
| tree | 2e30079fac77d40caa70b09eb0108c1d3aa61f48 /plugins/xml/xmlcommand.mli | |
| parent | 62fa2039ca0fc162af31e06bf586e8e5df005455 (diff) | |
Test for "inversion as" naming bug.
Diffstat (limited to 'plugins/xml/xmlcommand.mli')
0 files changed, 0 insertions, 0 deletions