Coccinelle release 0.2.5-rc3

[bpt/coccinelle.git] / globals / config.ml.in

diff --git a/globals/config.ml.in b/globals/config.ml.in
index 9820475..8ce27a4 100644 (file)
--- a/globals/config.ml.in
+++ b/globals/config.ml.in
@@ -1,4 +1,4 @@
-let version = "0.2.5-rc2"
+let version = "0.2.5-rc3"
 
 let path =
   try (Sys.getenv "COCCINELLE_HOME")