From 79f9fe9a3fc44153da6d35f2f272d23841d0bb56 Mon Sep 17 00:00:00 2001
From: Elias Pipping <elias.pipping@fu-berlin.de>
Date: Mon, 16 Jun 2014 21:09:27 +0200
Subject: [PATCH] Remove erroneous entry from .gitignore

A curious artefact from the automated part of the migration
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 6bbfc41c..efbd4125 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,7 +9,6 @@
 /ltmain.sh
 /dependencies.m4
 /stamp-h1
-/dune
 /am
 /libtool
 /autom4te.cache
-- 
GitLab