diff options
| author | Florian Dold <florian@dold.me> | 2021-01-13 13:48:28 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2021-01-13 13:48:28 +0100 |
| commit | e70144405cee1a2d2d0ad24b78bf610eba6cdb8d (patch) | |
| tree | d618c44344190825b21dfa38aacbc44d5373864a /build-system/configure.py | |
| parent | e44b86b084ff4b2dfc53199162816be6ad32c39d (diff) | |
exit from worker process
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions