diff options
| author | Daniil Baturin <daniil@baturin.org> | 2016-12-25 12:11:11 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2016-12-25 12:11:11 +0700 |
| commit | 285b6b0bdb07f38695965b281c9010020c75290e (patch) | |
| tree | 915f46ecdf830414550622381795b507813a6d44 /src/util.mli | |
| parent | e06d80ac105d49c18df3526e4aa0b70cc37a691a (diff) | |
| download | vyconf-285b6b0bdb07f38695965b281c9010020c75290e.tar.gz vyconf-285b6b0bdb07f38695965b281c9010020c75290e.zip | |
Remove square brackets around the path string from Util.string_of_path
They are trivial to add with printf when needed anyway, and this function
is useful for generating commands from a tree.
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions