From 859df3394a6b3864ca51446e3288439d19db66c7 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 22 Nov 2011 19:37:07 +0000
Subject: [PATCH] dead

---
 TODO | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 TODO

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