# HG changeset patch # User Chris Cannam # Date 1434961955 -3600 # Node ID 4858249d4fb1b3efdff1ca9a1cd1c137c0cca942 # Parent 1e97656caa8dbc0db741312fe9d2dd4698924c6a Update download URLs (with fixed versions in headers for source package...) diff -r 1e97656caa8d -r 4858249d4fb1 develop.html --- a/develop.html Tue Jun 16 15:07:57 2015 +0100 +++ b/develop.html Mon Jun 22 09:32:35 2015 +0100 @@ -42,9 +42,9 @@