GUI improvements #79

Merged
muellerr merged 8 commits from mohr/looooop into develop 2022-05-23 15:50:05 +02:00
1 changed files with 1 additions and 1 deletions
Showing only changes of commit 8ca85d4474 - Show all commits

@ -1 +1 @@
Subproject commit 862fdf23bc4a90ced47ee1c811de4237e3508536
Subproject commit b0b1dfef055fb1c6eb757cae59336f151fbb632c