Skip to content
Snippets Groups Projects
Kilian Weishaupt's avatar
Kilian Weishaupt authored
Rename Problem-TypeTags to end in TypeTag in folders test and tutorial.

Closes #413

See merge request !771
18a591d7
History
Name Last commit Last update