diff options
| author | Florian Dold <florian@dold.me> | 2021-05-10 15:32:50 +0200 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2021-05-10 15:32:50 +0200 |
| commit | 477b1399ca6a47ecb219ad212271ad4857804a0c (patch) | |
| tree | 373f75e1c13bebf7e063ef6e7d77f22d532880b7 /build-system/configure.py | |
| parent | 8dc5384bdcb42069e6d2f35fd3f1878afd728766 (diff) | |
fix type
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions