Re: [wwwdocs] Improve markup/nicer formatting for GIT instructions.

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

Re: [wwwdocs] Improve markup/nicer formatting for GIT instructions.

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