Merge remote-tracking branch 'christian_merten/cm/gitignore-dist' into dev

2 jobs for dev in 12 minutes and 16 seconds (queued for 91 minutes and 38 seconds)
Status Job ID Name Coverage
  Compile
passed #15314
compile

00:06:37

 
  Test
passed #15315
test

00:05:38