From 6dec67719aeb78727d7a851921841054d2bb16b8 Mon Sep 17 00:00:00 2001 From: Jon Leech Date: Thu, 10 Mar 2016 19:06:26 -0800 Subject: [PATCH] Merge misc. tweaks from private repository --- out/index.html | 40 ++++++++++++++++++++-------------------- 1 file changed, 20 insertions(+), 20 deletions(-) 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.