diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-09-29 12:45:17 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-23 19:22:19 +0100 |
commit | 0b069d43bd673341f5f115d21b7bb805d485a5ae (patch) | |
tree | 1caf03c1257bcaf9f4b54e24e2759ee910a5de62 /lib | |
parent | 23f49985296a3594c2cf37fa08e0b3e882d5c9e4 (diff) |
Quote file names which have spaces in "Print LoadPath".
The primary concern is for clarity of reading.
May it affects tools which would parse the output of "Print LoadPath"?
Presumably, these tools would not support file names with spaces
already, so this may have no impact.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions