1 files changed, 0 insertions, 2 deletions
diff --git a/BUGS b/BUGS
deleted file mode 100644
index 0d192789..00000000
--- a/BUGS
+++ /dev/null
@@ -1,2 +0,0 @@
-* unresolved symbols are not warned.
-