[build] Add and use `devscripts/utils`
authordirkf <fieldhouse@gmx.net>
Mon, 24 Jul 2023 22:43:36 +0000 (23:43 +0100)
committerdirkf <fieldhouse@gmx.net>
Tue, 25 Jul 2023 12:19:43 +0000 (13:19 +0100)
commitaac33155e40af3da96a2467dd05faea201815989
tree6bee082eabdf6ddf5b3322ad8282b02c1256cc6b
parent2b7dd3b2a2d7c6e228a42d1000a6f3296739ff1c
[build] Add and use `devscripts/utils`
devscripts/__init__.py [new file with mode: 0644]
devscripts/make_lazy_extractors.py
devscripts/utils.py [new file with mode: 0644]
test/test_execution.py