From 6f3a441c10ca714041c0ace01b0e7d92d5846768 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Wed, 24 Jul 2019 08:59:47 -0400
Subject: Remove a few no longer relevant files

---
 BUGS | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 BUGS

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
deleted file mode 100644
index 81d2220..0000000
--- a/BUGS
+++ /dev/null
@@ -1,7 +0,0 @@
-formatting:
-	need to fix PAGEBREAK mechanism
-
-sh:
-	can't always runcmd in child -- breaks cd.
-	maybe should hard-code PATH=/ ?
-
-- 
cgit v1.2.3