X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=globals.ml;fp=globals.ml;h=8b006c3b9fb897d9601208313998f48641daceec;hb=a9f606051125de2acc9140074f91054755fa67b4;hp=26230b84591357fa8169d514ea6b570e4868d931;hpb=a4ec1d7553194ce810c554b91f81c13591b606dd;p=vsys.git

diff --git a/globals.ml b/globals.ml
index 26230b8..8b006c3 100644
--- a/globals.ml
+++ b/globals.ml
@@ -1,8 +1,10 @@
-let frontend = ref ""
 let backend = ref ""
 let debug = ref true
+let vsys_version = "0.5"
 
 type fd_and_fname = string option * Unix.file_descr
+
+(* Relative path, never precededed by a '/' *)
 type relpath = Relpath of string
 
 exception Bad_path