diff --git a/operator/.gitignore b/operator/.gitignore deleted file mode 100644 index c038ed7864f54f954b4b86b6d173bb1066eb1bc9..0000000000000000000000000000000000000000 --- 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 09284d08a95d7baa13b09f9a75c1503b2239de28..0000000000000000000000000000000000000000 --- a/operator/Makefile.am +++ /dev/null @@ -1,6 +0,0 @@ -# $Id$ - -operatorincludedir = $(includedir)/dune/operator -operatorinclude_HEADERS = - -include $(top_srcdir)/am/global-rules