diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-09 14:12:50 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-09 14:12:50 +0100 |
| commit | c5e42998d638f59c36fa8a7f52635c155516d92e (patch) | |
| tree | 69a304c33704974f5b05b413c4bf5cddbfe4d07c /reproduce/config | |
| parent | 38470e170ce4386bbc98159d65f83cfc3a9bcd98 (diff) | |
Minor edits in README.md
Some minor corrections were made regarding the output repository.
Diffstat (limited to 'reproduce/config')
0 files changed, 0 insertions, 0 deletions