diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-12-16 12:00:53 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-12-16 12:00:53 +0200 |
| commit | 44e1022f8141bd57756c2be4277c728ca7443eb3 (patch) | |
| tree | 4b3d7e4be8c79d00acc52aec7f1cf64d184f9f73 /doc/man-prologue.xhtml | |
| parent | 497353a7eeec26d35741afd45b7cd759105f0246 (diff) | |
Redo string/stream representation of dir{} name/target
Now instead of:
dir{foo/bar/}
We get:
foo/dir{bar/}
Which feels more consistent with how we print other names/targets. That is,
"directory bar/ in directory foo/" similar how foo/exe{bar} is "executable
bar in directory foo/".
Diffstat (limited to 'doc/man-prologue.xhtml')
0 files changed, 0 insertions, 0 deletions