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/analysis/make/top.mk | |
| 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/analysis/make/top.mk')
0 files changed, 0 insertions, 0 deletions