Commit c1fe2358 authored by Jan Möbius's avatar Jan Möbius
Browse files

Merge branch 'rename_deprecated_filenames' into 'master'

Rename deprecated filenames

See merge request !75
parents beab6a3e 78898f0b
Pipeline #16816 passed with stages
in 7 minutes and 18 seconds