diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-08-07 12:14:17 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-08-07 12:14:17 +0530 |
| commit | 8b6f4c1ff0f93a72273e68a7fbd9e31b478142cc (patch) | |
| tree | b760272d2f896f0307f55369cdea2c26a8954216 /build-system/configure.py | |
| parent | ee01e34a9a89ffbcb211eec6f6c64aa6b7530712 (diff) | |
condition
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions