diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-18 12:59:33 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-18 12:59:33 +0000 |
| commit | 9ec1f18fd503408a574179a96b0e9a15d20be4ed (patch) | |
| tree | 0f7bb5825664cfa3463b6dae996fbabf54860306 /reproduce/analysis/make | |
| parent | dd769b64a6edcebd6a15183d5cb836698c4a25dc (diff) | |
README-hacking.md: corrected typo in project command
I had forgot to add a `./' before the call to `project' for the
`--check-config'.
Diffstat (limited to 'reproduce/analysis/make')
0 files changed, 0 insertions, 0 deletions