diff options
| author | Matej Kosik | 2017-02-02 11:18:26 +0100 |
|---|---|---|
| committer | Matej Košík | 2017-04-20 13:11:50 +0200 |
| commit | 2198b0b28a396377ed8f885eddf6bc752af9c580 (patch) | |
| tree | 8386a32ef0665ce94e11dcd0da98510a6a7a7fb7 /plugins/syntax/string_syntax.ml | |
| parent | 7678cf243d054b620ba78926f2effb4dd97f0bdc (diff) | |
refactoring "Names.DirPath.compare" function
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions