aboutsummaryrefslogtreecommitdiff
path: root/plugins/syntax/string_syntax.ml
diff options
context:
space:
mode:
authorVirgile Prevosto2014-03-06 17:11:40 +0100
committerPierre Boutillier2014-03-06 17:19:24 +0100
commita0e91889d2920a28902b5a3dcbc657564a3a24ba (patch)
tree108365f7ecb925fd251ff8054602dd348269fd0d /plugins/syntax/string_syntax.ml
parent74daa5391b3076b815b7f2f916ed6675d98c3c25 (diff)
Uses slashes for install and config directories
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions