From 2a9a2c3237b41e941fc6ed65743aacbfe464bb56 Mon Sep 17 00:00:00 2001 From: plugd Date: Fri, 7 Oct 2022 11:17:04 +0200 Subject: [PATCH] Removed silly stuff from readme. --- README | 3 --- 1 file changed, 3 deletions(-) diff --git a/README b/README index 2f88835..ca4de93 100644 --- a/README +++ b/README @@ -20,9 +20,6 @@ Since that time I've added a significant number of core definitions and modified some of the others with the eventual aim of F83 compliance (discussed below). -There's quite a lot to say about the implementation, especially due to -its high-level grounding, but that will have to wait for another time. - Installation ------------ -- 2.20.1