# HG changeset patch # User Pascal Bellard # Date 1298822100 -3600 # Node ID f11ce6659cabc25f95356da4b5fda6d7b6f76803 # Parent 7caaa05ff525a2b6dffc3c2006767a8195f9723c web/index.php: keep anchors during refresh diff -r 7caaa05ff525 -r f11ce6659cab web/index.php --- a/web/index.php Sun Feb 27 15:47:47 2011 +0100 +++ b/web/index.php Sun Feb 27 16:55:00 2011 +0100 @@ -42,8 +42,7 @@ \n"; + .$_GET["refresh"]."\" />\n"; ?>