-
Matthias Braun authored
remove the infrastructure for using a custom identifier module and simply always use the default UTF-8 one. Slightly cleanup the code while doing that [r27589]
4d6c0667
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
remove the infrastructure for using a custom identifier module and simply always use the default UTF-8 one. Slightly cleanup the code while doing that [r27589]