From cd05a094969d01b8c1ee6690a2031a84abca71f7 Mon Sep 17 00:00:00 2001 From: Rainer Gerhards Date: Fri, 1 Feb 2008 13:43:30 +0000 Subject: cleaned up some no longer needed files, thanks to Michael Biebl for pointing this out --- BUGS | 1 - 1 file changed, 1 deletion(-) delete mode 100644 BUGS (limited to 'BUGS') diff --git a/BUGS b/BUGS deleted file mode 100644 index 7f537a29..00000000 --- a/BUGS +++ /dev/null @@ -1 +0,0 @@ -This file has been superseeded by doc/bugs.html. Check there. -- cgit