diff options
| author | Ike Mulder | 2019-04-26 16:16:47 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-28 05:35:56 +0100 |
| commit | 02b40f6cdb7ec56f34c6b773b1d7768b4b135fd9 (patch) | |
| tree | a36dd7ef9fd751bdeb7a4fbfd4add4ed4d68c2b6 /plugins/syntax/string_notation.mli | |
| parent | aeca986089d005054496ed4bcf1b920e8fa02173 (diff) | |
Fixed some escaping problems with arguments containing spaces in IDE's Compile buffer, and with building from a path containing spaces.
Updated CHANGES.md
Now using Filename.quote instead of enclosing in single quotes.
Fixed rebasing problems.
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions