X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/708f4980a90e2a254d7863f875888e9f5c6db0b3..9f8e26f459677a621822918b7539ae94214621ac:/globals/config.ml.in diff --git a/globals/config.ml.in b/globals/config.ml.in index 3670c92..b7563e9 100644 --- a/globals/config.ml.in +++ b/globals/config.ml.in @@ -1,7 +1,7 @@ -let version = "0.1.8" +let version = "0.2.0" -let path = - try (Sys.getenv "COCCINELLE_HOME") +let path = + try (Sys.getenv "COCCINELLE_HOME") with Not_found->"/usr/local/share/coccinelle" let std_iso = ref (Filename.concat path "standard.iso")