Skip to content

rename version file

Sven Springer requested to merge fix/rename_version_file into devel

to avoid confusion about the current version number

Merge request reports