Committed.
And as a side note, this should be the first commit in the world
of wwwdocs GIT that was properly checked by my bot. :-)
Gerald
commit bf45ac10505f02e59a0dfb13540cc8d7f5a21a68
Author: Gerald Pfeifer <ger...@pfeifer.com>
Date: Sun Oct 20 17:54:09 2019 +0200
www.polyhedron.com is now polyhedron.com.
diff --git a/htdocs/readings.html b/htdocs/readings.html
index 42dd285..fd42aaf 100644
--- a/htdocs/readings.html
+++ b/htdocs/readings.html
@@ -461,7 +461,7 @@ names.
Tests of run-time checking capabilities
<ul>
<li>
- <a href="https://www.polyhedron.com/";>Polyhedron tests</a>
+ <a href="https://polyhedron.com";>Polyhedron tests</a>
</li>
</ul>
</li>
