diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-08-07 12:09:32 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-08-07 12:09:32 +0530 |
| commit | a5d8d5349d4761873df3c5b36143dd04417d6f69 (patch) | |
| tree | b66a9502adafb5370ac04f502246ae156cef5e49 /build-system/configure.py | |
| parent | 08ec98af77ac1bf900aa301603c8f667f9bb17b3 (diff) | |
actually only shut down once
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions