diff options
| author | Pierre Boutillier | 2014-09-03 15:18:27 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-09-03 15:18:27 +0200 |
| commit | 1e4a15e74114cef528e76f9aa8b0aeb78e82aecc (patch) | |
| tree | a093f1ac31d37e7b28c84c0617253b90db0e8dc2 /plugins/xml/xmlcommand.ml | |
| parent | d34cb7cc523fe7f6e9b371cee17b7f7b7e588ddf (diff) | |
sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex
Diffstat (limited to 'plugins/xml/xmlcommand.ml')
0 files changed, 0 insertions, 0 deletions