Simon Ser 3252e0dde7 Switch to CLI flags		2022-10-07 11:49:41 +02:00
..
jsonschemagen	Switch to CLI flags	2022-10-07 11:49:41 +02:00