From 1754a58a205013453f7a2473562151243b7c80d9 Mon Sep 17 00:00:00 2001 From: Oliver Sander <sander@igpm.rwth-aachen.de> Date: Thu, 24 Sep 2009 09:03:12 +0000 Subject: [PATCH] ignore more stuff [[Imported from SVN: r4871]] -- GitLab