diff --git a/out/index.html b/out/index.html index 1684a933..cfc7ba88 100644 --- a/out/index.html +++ b/out/index.html @@ -9,21 +9,21 @@ related documents. It is updated by hand periodically by Jon Leech.