-
Michael Beck authored
makes info for entities more "logical" added flag to dump ent names instead of ld_names [r6218]
5b507c8d
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
makes info for entities more "logical" added flag to dump ent names instead of ld_names [r6218]