From c35f571b0b5df4431612d35a5b5e86e8e283b959 Mon Sep 17 00:00:00 2001 From: Christian Steinle Date: Wed, 5 Oct 2016 15:31:18 +0000 Subject: [PATCH] Anpassung der global-ignores