# HG changeset patch # User Jim Hague # Date 1478466080 0 # Node ID 4618fbf5266214625aeff58479dbd51f120e68be # Parent 6ec9229fd6fc56fca45b095ef949e1fbde2e2660 Re-add header to front page. diff -r 6ec9229fd6fc -r 4618fbf52662 web/index.html --- a/web/index.html Sun Nov 06 14:41:11 2016 +0000 +++ b/web/index.html Sun Nov 06 21:01:20 2016 +0000 @@ -13,7 +13,7 @@