From a2c3ac3048007414aa7056567145ee48118b2dd5 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Fri, 8 Apr 2011 17:23:05 +0000
Subject: [PATCH] update list of ignored files

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