Supervisor command #82

Merged

muellerr merged 3 commits from meier/ploc into develop

2022-05-23 17:54:51 +02:00

Author	SHA1	Message	Date
Robin Müller	b54ffcedff	Merge branch 'develop' into meier/ploc	2022-05-23 17:54:19 +02:00
Jakob Meier	15e0861c4d	run generator script	2022-05-23 17:03:45 +02:00
Jakob Meier	8eae5a4278	command to continue failed mpsoc update	2022-05-23 16:38:44 +02:00