diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-07-23 16:09:49 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-07-25 08:05:43 +0200 |
| commit | ad7d4bd0722aa70ba634900cebf93a1b1814fed9 (patch) | |
| tree | fbfa28c4602dea0be178e63d1e6a1b2667e85190 /doc/doc-prologue.xhtml | |
| parent | a8bef4ff20100c518816c641ae1ff9783306c167 (diff) | |
Only do "effective escaping" (['"\$(]) on the command line
This will make things more convenient on Windows provided we use "sane"
paths (no spaces, no (), etc).
Diffstat (limited to 'doc/doc-prologue.xhtml')
0 files changed, 0 insertions, 0 deletions