From a387ca6ebe979fd4a74e919b908eb41a1ba31a31 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Thu, 22 Apr 2010 14:41:13 +0000
Subject: [PATCH] don't ignore 'dune' anymore

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