-
Matthias Braun authored
remove names from parameters of method_types - it is pure debug info and should already be contained in type_dbg_info if available
3d09b6f2
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
remove names from parameters of method_types - it is pure debug info and should already be contained in type_dbg_info if available