From 17222d1662c8a8b48ff699bfa683d4dd36036c28 Mon Sep 17 00:00:00 2001 From: David Anderson Date: Wed, 28 Feb 2018 01:15:53 -0800 Subject: [PATCH] change ops/get_versions.php to get dev versions too --- html/ops/get_versions.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/ops/get_versions.php b/html/ops/get_versions.php index b3977d0df5..b81e4101a0 100755 --- a/html/ops/get_versions.php +++ b/html/ops/get_versions.php @@ -5,6 +5,6 @@ file_put_contents( "../user/versions.xml", - file_get_contents("https://boinc.berkeley.edu/download_all.php?xml=1") + file_get_contents("https://boinc.berkeley.edu/download_all.php?xml=1&dev=1") ); ?>