Skip to content

Merge maven branch with master

Reiner Hauser requested to merge merged into master

The only fix needed was to clean up the CMakeLists.txt file by hand. I also got rid of the cmt/* files.

Merge request reports