Use same directory for compile-only and compile-firm-only
Does this seem sensible? I don't see a reason to require to different directories for these.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Does this seem sensible? I don't see a reason to require to different directories for these.