- merge revision 1.15
[bootmanager.git] / source / configuration
index ac0ea8e..80d5735 100644 (file)
@@ -4,11 +4,7 @@
 
 
 # the current version of the bootmanager
-VERSION=3.1.8
-
-
-# full url to which api server to contact
-BOOT_API_SERVER=https://www.planet-lab.org:443/PLCAPI/
+VERSION=3.1.10
 
 
 # path to store temporary files during the install,