Supervisor command #82

Merged

muellerr merged 3 commits from meier/ploc into develop 2022-05-23 17:54:51 +02:00

Conversation 1 Commits 3 Files Changed 5

+776 -795

3 Commits

Author	SHA1	Message	Date
muellerr	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