[devscripts] Add a hack to convert command-line options to API options
authordirkf <fieldhouse@gmx.net>
Tue, 14 Mar 2023 00:58:59 +0000 (00:58 +0000)
committerdirkf <fieldhouse@gmx.net>
Tue, 14 Mar 2023 16:23:20 +0000 (16:23 +0000)
commit70ff01391068c98b4377c5cc17a8d00d5645e734
tree0266ef37c0b31effc5256f0031ce26cc28ff387a
parente8de54bce50f6f77a4d7e8e80675f7003d5bf630
[devscripts] Add a hack to convert command-line options to API options
devscripts/cli_to_api.py [new file with mode: 0755]