diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-08-08 16:52:45 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-08-08 16:52:45 +0530 |
| commit | e8c0a43dd37f34ae8227d02c87b1ed7ab368d03c (patch) | |
| tree | f077e1ff0a16b1e3ea3c775ca17a0389afe29a50 /build-system/configure.py | |
| parent | 3321e40bffc5fe47133342d63f706a005a652273 (diff) | |
allow repeats in test case
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions