aboutsummaryrefslogtreecommitdiff
path: root/plugins/xml/xmlcommand.ml
diff options
context:
space:
mode:
authorMatthieu Sozeau2014-06-11 15:46:17 +0200
committerMatthieu Sozeau2014-06-11 15:46:17 +0200
commit1c620d266885086e076011917d5b1d28af299ea1 (patch)
tree0c646e7b10a45a7c5e462270cb4a5d406e3cdf6b /plugins/xml/xmlcommand.ml
parent5f5198673cb8688e746861929e96160e04396ee9 (diff)
Move bug # 3368 to closed bugs
Diffstat (limited to 'plugins/xml/xmlcommand.ml')
0 files changed, 0 insertions, 0 deletions