diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 20:36:23 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 20:36:23 +0000 |
commit | ea6bc6f08632056132ecfc2cb9a22101516b219c (patch) | |
tree | 84d47b86a86d466839ad76ea1f701ec60f4ce7ec /.file-metadata | |
parent | bc860926afc0f5486d59f3f186847445bf6f314a (diff) |
Minor corrections in `README-hacking.md' after verification
In the previous commit, I had forgot to update a small part in the
checklist (when modifying `top-make.mk') which is now corrected.
I also added a few sentences in the description of how to customize the
verification to make it easier to understand.
Diffstat (limited to '.file-metadata')
0 files changed, 0 insertions, 0 deletions