diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-08-06 21:20:47 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-08-06 21:20:47 +0530 |
| commit | 100f4fc5fbecce527a0c04268829e1b4af33cc3b (patch) | |
| tree | 51073da14be0b8c1b5859811e4f9992fe73063c5 /build-system/configure.py | |
| parent | 1fa3cad2e7ea61d74308dc40335b677533a5d1ce (diff) | |
reduce verbosity a bit, add convenience symlink
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions