diff options
| author | Guillaume Melquiond | 2013-12-03 14:22:25 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2013-12-03 14:22:25 +0100 |
| commit | aca9c227772e3765833605866ac413e61a98d04a (patch) | |
| tree | bb83f43b1ebf846f32429fbcdebd782bf843c51c /plugins/xml/xmlcommand.ml | |
| parent | e0ff9328c51cec3bd65d4893af5da5c9f8ba2570 (diff) | |
Silence some warning about references in documentation.
Diffstat (limited to 'plugins/xml/xmlcommand.ml')
0 files changed, 0 insertions, 0 deletions