diff options
| author | Florian Dold <florian@dold.me> | 2021-05-20 17:11:44 +0200 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2021-05-20 17:11:44 +0200 |
| commit | 6f1b7f5b998c1d7c385cad2f29a85db311999131 (patch) | |
| tree | 26b41eb9fd4b86505a0ba869ae251dee2dcc5332 /build-system/configure.py | |
| parent | 6fc9a052b7f8e3ef0bd1b26279b11dc6bc12f5e4 (diff) | |
implement more deletion operations
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions