From 6f4313bc1ed5be794146e6ca2fd73f48c7906061 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Mon, 1 May 2023 12:48:55 +0200
Subject: Reverted to 2.0.3

---
 TODO/installation.md | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 TODO/installation.md

(limited to 'TODO/installation.md')

diff --git a/TODO/installation.md b/TODO/installation.md
deleted file mode 100644
index 7f632c2..0000000
--- a/TODO/installation.md
+++ /dev/null
@@ -1,14 +0,0 @@
-# Simplify and improve installation
-
-## Tables
-
-* Make install should generate tables, or add a "make tables" target to
-  generate tables.
-* Make tables should also check for existing files and remove old ones
-  (maybe more for nissy's command than for makefile).
-
-## Correctness
-
-* Add checksum for all generated files.
-* Hard-code results? Check for compatibility problems between different OSes
-  and filesystems - but there should not be any, since we use stdint.h.
-- 
cgit v1.3