Skip to content

GitLab

Encapsulate matnum functionality

Merged Christian Rohlfing requested to merge rohlfing-improve-matnum-util into master

Introduced starts_with_matnum and used it in almost all files consistently.