Removed an old an obsolete file.

8 jobs for bugfixes-markus in 22 minutes and 17 seconds
Status Name Job ID Coverage
  Build
passed build #1114307

00:12:35

 
  Test
passed dev_setup_tests #1114312

00:09:39

passed gui_linting #1114309

00:01:26

passed install_tests #1114311

00:06:39

passed linting #1114308

00:05:33

passed tests #1114310

00:09:41

77.0%
 
  Deploy
manual deploy #1114313
allowed to fail manual
 
  Release
manual release #1114314
allowed to fail manual