From 074ade138f2788db1a32cb129e19ca6f032585bf Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Thu, 15 Apr 2010 18:45:48 +0000
Subject: [PATCH] remove (very) old .cvsignore file

[[Imported from SVN: r5883]]
---
 .cvsignore | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 .cvsignore

diff --git a/.cvsignore b/.cvsignore
deleted file mode 100644
index e945572e..00000000
--- a/.cvsignore
+++ /dev/null
@@ -1,17 +0,0 @@
-Makefile
-Makefile.in
-config.*
-configure
-aclocal.m4
-autom4te.cache
-depcomp
-install-sh
-missing
-mkinstalldirs
-libtool
-dune.pc
-semantic.cache
-stamp-h1
-html
-.deps
-.libs
-- 
GitLab