-
Matthias Braun authored
The jFirm generator reuses the code in spec_util and needs these defaults too.
662a384f
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The jFirm generator reuses the code in spec_util and needs these defaults too.