diff options
| author | Pierre-Marie Pédrot | 2013-12-03 18:40:56 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-12-03 18:40:56 +0100 |
| commit | 32f6c4ee62146810c72cb5c86f341c8ca77be909 (patch) | |
| tree | 2d2517bc1cf9a6a8eed5137326389c841c3c0cde /plugins/xml/xmlcommand.ml | |
| parent | 943133d5a47ce4663a9b77a03b36c7c87c78d886 (diff) | |
Removing useless meta-related functions.
Diffstat (limited to 'plugins/xml/xmlcommand.ml')
0 files changed, 0 insertions, 0 deletions