diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-04-17 02:37:18 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-04-17 02:37:18 +0100 |
| commit | 566190ab49556c211c1ddf90d9ac2314c29d7800 (patch) | |
| tree | b836b67583aff49fdebc15750a69489985dceaee /reproduce/src/bash | |
| parent | 925091ef4efebd03ca519d780cf5a0c2ce9df18b (diff) | |
Added final review result
In the previous commit, I had forgot to put a '-f' before the 'git add'!
Becauase '.txt' files are set to be ignored in Git by default (they are
marked in '.gitignore').
With this commit this file is now added into the project history.
Diffstat (limited to 'reproduce/src/bash')
0 files changed, 0 insertions, 0 deletions