diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-20 22:00:57 +0530 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-20 22:00:57 +0530 |
commit | d776b47314572b7a52fd51a6ade57306f1313181 (patch) | |
tree | 78b950f620d3b0beadc96a51b9dc8ff2765686ff /reproduce/analysis/config | |
parent | c4aa4f77ea94fa969be604f6c1cb5e5d84981c4e (diff) |
Corrected typo in README-hacking.md
Until now, when describing the sections to remove for customizing a
project, I had mistakenly repeated the `%% Start of main body.'
statement.
With this commit, the second one is changed to `%% End of main body.'
This issue was reported by Deepak.
Diffstat (limited to 'reproduce/analysis/config')
0 files changed, 0 insertions, 0 deletions