diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-14 13:28:31 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-14 13:31:18 +0100 |
commit | 2671a7a19675e6814f160ff92d4004c4d9175fd4 (patch) | |
tree | c63508db0dd2c23814ad7d2bd7ede12759893425 /reproduce | |
parent | 960a69ba709cdf36e52fdbc4f1ef20af14384256 (diff) |
Minor correction in README-hacking.md for better web-rendering
The new command-box wasn't being rendered properly, so another correction
is made here. I also added the prompt `$' sign in another box of commands.
Diffstat (limited to 'reproduce')
0 files changed, 0 insertions, 0 deletions