diff options
| author | Matthieu Sozeau | 2015-01-17 14:49:26 +0530 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-01-17 14:49:26 +0530 |
| commit | d030ce0721a46c539f9d6addb450ccc9d13163b3 (patch) | |
| tree | 7a28541bb1677e2acd8cff444d437117b4e40b9c /plugins/syntax/string_syntax.ml | |
| parent | 9d60a8655f37ee922c662d15b3df0d94a8fd32aa (diff) | |
Avoid compilation warning... might not be the best fix though.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions