diff --git a/ext/gl/BUGS b/ext/gl/BUGS deleted file mode 100644 index 7110c92792..0000000000 --- a/ext/gl/BUGS +++ /dev/null @@ -1,3 +0,0 @@ - -known issues: -