diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-05-24T09·21+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-05-24T09·23+0200 |
| commit | 9711524188494ff5bcbba8c6945add89fbb29713 (patch) | |
| tree | 937786033b547a792a2e2e0744335116016fdcde /doc/manual | |
| parent | 01200d07d2e6e781c7c7935b1d13f8b3b2d0271a (diff) | |
Fix #1380
It lacked a backslash. Use a raw string and single quotes around PS1 to simplify this.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions