From 0b8805daeb227ff9cb0add7a33979ae245083271 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Wed, 13 Nov 2013 14:41:13 +0000
Subject: [PATCH] ignore more files

[[Imported from SVN: r9533]]
-- 
GitLab