From d41fd85a874fc63c5b9aba6e1417a520c16a6f1a Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Tue, 7 Oct 2014 23:40:37 +0200
Subject: [PATCH] Really remove BUGS/TODO

---
 doc/BUGS | 0
 doc/TODO | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 doc/BUGS
 delete mode 100644 doc/TODO

diff --git a/doc/BUGS b/doc/BUGS
deleted file mode 100644
index e69de29bb..000000000
diff --git a/doc/TODO b/doc/TODO
deleted file mode 100644
index e69de29bb..000000000