From 90969d5e9defcd593c7acc416247cd7a6b04e532 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sat, 3 Oct 2020 17:51:33 +0200
Subject: Remove old files

These files were for ideas and explorations of solutions. We now have a
working implementation independent of them.
---
 t/Ideas.txt | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 t/Ideas.txt

(limited to 't')

diff --git a/t/Ideas.txt b/t/Ideas.txt
deleted file mode 100644
index af4d431..0000000
--- a/t/Ideas.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-- TODOs from file prior to branch point
-- Doesn't include removed TODO lines
-- 
cgit v1.2.3