From 143540a895deb6b85256b4979c849a42f1f0f82e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20Kl=C3=B6fkorn?= <robertk@dune-project.org> Date: Mon, 3 Apr 2006 19:58:59 +0000 Subject: [PATCH] removed useless directory [[Imported from SVN: r4452]] --- operator/.gitignore | 2 -- operator/Makefile.am | 6 ------ 2 files changed, 8 deletions(-) delete mode 100644 operator/.gitignore delete mode 100644 operator/Makefile.am diff --git a/operator/.gitignore b/operator/.gitignore deleted file mode 100644 index c038ed786..000000000 --- a/operator/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -Makefile -Makefile.in \ No newline at end of file diff --git a/operator/Makefile.am b/operator/Makefile.am deleted file mode 100644 index 09284d08a..000000000 --- a/operator/Makefile.am +++ /dev/null @@ -1,6 +0,0 @@ -# $Id$ - -operatorincludedir = $(includedir)/dune/operator -operatorinclude_HEADERS = - -include $(top_srcdir)/am/global-rules -- GitLab