git://git.onelab.eu / bootmanager.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
now that PlanetLabConf uses node_id, update the bootmanager code that calls
[bootmanager.git] / source / configuration
diff --git a/source/configuration b/source/configuration
index 28c7486..bcd182e 100644 (file)
--- a/source/configuration
+++ b/source/configuration
@@ -4,7 +4,7 @@
 
 
 # the current version of the bootmanager
-VERSION=3.1.2
+VERSION=3.1.3
 
 
 # full url to which api server to contact
bootmanager