4 Commits

Author	SHA1	Message	Date
Robin Mueller	2338d951c7	some more robustness tweaks	2022-11-28 11:21:12 +01:00
Jakob Meier	f8f7848200	run generator scripts	2022-03-14 18:43:16 +01:00
Robin Mueller	9ddea586ea	updated build scripts	2021-10-18 18:15:39 +02:00
Robin Mueller	0b1b74e879	renamed cmake var, updated all shell scripts	2021-07-31 19:31:04 +02:00