diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-01 16:33:10 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-01 16:33:10 +0100 |
| commit | aedbfb12d219be7e3bd1fa47ebeb09fa7966dfaa (patch) | |
| tree | 09cf70d497ece2a1fff409ddfa176c8ed1f06792 /reproduce/analysis/make | |
| parent | 34406fda1c132d8bee85e7b0e94e76905a9b6553 (diff) | |
Corrected small typo: ny --> any
This was pointed out by Mervyn O'Luing.
Diffstat (limited to 'reproduce/analysis/make')
0 files changed, 0 insertions, 0 deletions