summaryrefslogtreecommitdiff
path: root/BUGS
diff options
context:
space:
mode:
Diffstat (limited to 'BUGS')
-rw-r--r--BUGS3
1 files changed, 0 insertions, 3 deletions
diff --git a/BUGS b/BUGS
index 12f245a..ef4213f 100644
--- a/BUGS
+++ b/BUGS
@@ -31,9 +31,6 @@ sysfile.c:
general:
sizeof parens?
-usertests.c:
- check for rm of . or ..
-
L=$HOME/mit/l
(for i in *.c; do xoc -x xgnu -x ./nodecleq.zeta --typesonly $i; done) 2>&1 | grep warning