From 315922bdff1204bd8f90a4a7717c10f29e6cd092 Mon Sep 17 00:00:00 2001 From: Guus der Kinderen Date: Wed, 13 Apr 2022 10:06:47 +0200 Subject: [PATCH] Regenerated readme.html from readme.md The HTML version of the readme was seriously lagging behind the Markdown version. This commit brings both back in sync. To generate the HTML version, I took the Markdown version, which I added to the webapp of https://stackedit.io/ Next, I exported the stackedit-generated page as HTML, using their "Stylized HTML with TOC" template. I've only changed the HTML title in the generated file. --- readme.html | 1305 ++++++++++++++++++++++++--------------------------- 1 file changed, 605 insertions(+), 700 deletions(-) diff --git a/readme.html b/readme.html index 6100331ee..8ecc12d1b 100644 --- a/readme.html +++ b/readme.html @@ -1,4 +1,3 @@ - @@ -16,6 +15,8 @@