Commit b0caa01b authored by Andreas Marek's avatar Andreas Marek
Browse files

Better names for the renamed folders

parent 56cf07ca