dev #17

Merged
chacha merged 4 commits from dev into master 2023-11-28 13:34:31 +01:00

4 Commits

Author SHA1 Message Date
aa22e534be fix import and quality warnings 2023-11-28 12:30:04 +00:00
d3f5587e16 fix embedded helper import (tomli) 2023-11-28 12:19:19 +00:00
e8dca96b59 update way of importing tomli / tomllib for legacy compatibility
remove unused RUN_xx.launch script
2023-11-28 12:15:09 +00:00
31105cde3b implement installdeps feature 2023-11-28 12:03:36 +00:00