change ops/get_versions.php to get dev versions too

This commit is contained in:
David Anderson 2018-02-28 01:15:53 -08:00
parent 233e843bff
commit 17222d1662
1 changed files with 1 additions and 1 deletions

View File

@ -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")
);
?>