aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/changelog.txt4
-rw-r--r--src/version2
-rw-r--r--src/versionnum.php2
3 files changed, 6 insertions, 2 deletions
diff --git a/doc/changelog.txt b/doc/changelog.txt
index 17b7429..1d74489 100644
--- a/doc/changelog.txt
+++ b/doc/changelog.txt
@@ -1,3 +1,7 @@
+version 1.5.8:
+- force empty language/problem as default selection of teams' runs
+- accept url+user+password at field main contest url to exchange scoreboards
+
version 1.5.7:
- fixed java scripts for running with multiple inputs/outputs
diff --git a/src/version b/src/version
index 7fd5f7a..9c0d20b 100644
--- a/src/version
+++ b/src/version
@@ -1 +1 @@
-boca-1.5.7
+boca-1.5.8
diff --git a/src/versionnum.php b/src/versionnum.php
index 419ce35..99a0327 100644
--- a/src/versionnum.php
+++ b/src/versionnum.php
@@ -1,5 +1,5 @@
<?php
-$BOCAVERSION='boca-1.5.7';
+$BOCAVERSION='boca-1.5.8';
$YEAR='2013';
?>