diff --git a/.darcs-boring b/.darcs-boring deleted file mode 100644 index bd661a08090cc954d93a6f604fc3313340b09c81..0000000000000000000000000000000000000000 --- a/.darcs-boring +++ /dev/null @@ -1,4 +0,0 @@ -^dist(/|$) -^setup(/|$) -^GNUmakefile$ -^Makefile.local$