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 | |
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')
0 files changed, 0 insertions, 0 deletions