diff options
| author | Arnaud Spiwack | 2014-09-03 14:27:51 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-09-04 10:25:54 +0200 |
| commit | af0dad8ef026943b31025c5b4a7a552c19b7fdfa (patch) | |
| tree | 4c96f4c592918088c9400d307bd7dd597c4628f7 /plugins/xml/xmlcommand.mli | |
| parent | b18b40878f071b6c7d67d1a2d031370f7a498d0b (diff) | |
Types declared as Variants really do not accept recursive definitions.
Diffstat (limited to 'plugins/xml/xmlcommand.mli')
0 files changed, 0 insertions, 0 deletions