# HG changeset patch # User Christian Urban # Date 1462698512 -3600 # Node ID 988e2889084264ce01ed9b3c3f0ad8fbf36c574f # Parent 382d222be1f40e0d56aa156bf0ff62495b772f9c updated diff -r 382d222be1f4 -r 988e28890842 publications.html --- a/publications.html Sun May 08 08:34:30 2016 +0100 +++ b/publications.html Sun May 08 10:08:32 2016 +0100 @@ -28,7 +28,7 @@ BGCOLOR="#4169E1" BORDER="0" FRAME="border" - CELLPADDING="12" + CELLPADDING="11" CELLSPACING="2" RULES="all"> @@ -518,7 +518,7 @@

- Last modified: Sun May 8 08:34:16 BST 2016 + Last modified: Sun May 8 10:08:26 BST 2016 [Validate this page.]