diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-04 00:47:59 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-04 00:47:59 +0100 |
| commit | ad2b08d9c3f2500449cb28c903930af2c677d534 (patch) | |
| tree | 9f68f40c5b8cac3f15c68b51fb4cfff809bff305 /reproduce/analysis/config/delete-me-num.conf | |
| parent | a69f2ce5624b0b683b793a2f4cb68c7023458f15 (diff) | |
README-hacking.md: minor edits in description of merging with Maneage
The recently added description for this step in the last commit needed some
edits to be more clear and encourage re-building the project from scratch
anytime authors merge with Maneage.
Diffstat (limited to 'reproduce/analysis/config/delete-me-num.conf')
0 files changed, 0 insertions, 0 deletions