From fb8a3c5250d95cbbf590d8e3b4f2fbf7c03ca6f6 Mon Sep 17 00:00:00 2001 From: Oliver Sander <sander@igpm.rwth-aachen.de> Date: Mon, 6 Jun 2011 12:24:04 +0000 Subject: [PATCH] update list of files to be ignored [[Imported from SVN: r7371]] -- GitLab