On Sat, 19 Oct 2019, Gerald Pfeifer wrote:
> And this makes it a bit nicer (and shorter).
And this makes the anonymous checkout of wwwdocs simple copy&paste.
Commmitted.
Gerald
diff --git a/htdocs/about.html b/htdocs/about.html
index 48918c8..a67e358 100644
--- a/htdocs/about.html
+++ b/htdocs
And this makes it a bit nicer (and shorter).
Committed, too.
Gerald
diff --git a/htdocs/about.html b/htdocs/about.html
index a812a7f9..48918c83 100644
--- a/htdocs/about.html
+++ b/htdocs/about.html
@@ -51,13 +51,14 @@ a higher chance of being implemented soon. ;-)
Using the git repository
A
Committed.
My first git push to the new wwwdocs repository ;-) Thank you,
Joseph and everyone else who helped!
Gerald
>From 6df815817051ed1defc13eda2cbadc089da6d646 Mon Sep 17 00:00:00 2001
From: Gerald Pfeifer
Date: Thu, 17 Oct 2019 10:19:42 +0200
Subject: [PATCH] Improve markup/nicer format
