diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-08-24 17:23:13 +0200 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-08-24 17:23:13 +0200 |
commit | 595626499d20c6e3b297e72c90b5bd3f4d528e8a (patch) | |
tree | 19b6fd4e9a7d5c0e3f738ef07bac1cf8e36a7453 /reproduce/src | |
parent | 7973692b5114d695a45f499f5f1e09b3189e3bfe (diff) |
Minor edits
After a full trial of the checklist, some further minor edits were made to
make it more clear.
Diffstat (limited to 'reproduce/src')
0 files changed, 0 insertions, 0 deletions