Merge branch 'cleanup-eclipse-files' into 'master'
clean up eclipse project files and ignore them from now on See merge request !12
GitLab update scheduled for Friday, July 8th between 08:15 and 08:45 CET. If unpleasant, please contact René or Martin.
clean up eclipse project files and ignore them from now on See merge request !12