diff options
| author | Florian Dold <florian@dold.me> | 2021-01-14 18:00:00 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2021-01-14 18:00:00 +0100 |
| commit | 19eb72e277de89600506c2c7d1f14487ebe6408e (patch) | |
| tree | 70b4d15291ad319abc302b09fc7cc4cd11361fb9 /build-system/configure.py | |
| parent | 6293de7bfa4d8a52091b251e2333e9710ce1b22a (diff) | |
logging, cosmetic fixes
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions