diff options
| author | Pierre-Marie Pédrot | 2014-09-02 19:00:38 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-09-02 21:56:42 +0200 |
| commit | f486f494c205611531a9df508f29f05a413434cc (patch) | |
| tree | 9e61d6af518d3f51090527084a77d6446c011c18 /plugins/xml/xmlcommand.ml | |
| parent | 83159124ce222cb0d9811868d5a432d306c7d8f5 (diff) | |
Adding a test-suite for second-order matching order and indexes.
Diffstat (limited to 'plugins/xml/xmlcommand.ml')
0 files changed, 0 insertions, 0 deletions