diff --git a/CHANGES.md b/CHANGES.md index 1f181e71c..529246ec4 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,6 @@ -next ----- +v0.10 +----- ### UI diff --git a/VERSION b/VERSION index b63ba696b..68c123cf1 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.9 +0.10 diff --git a/src/bin/main.ml b/src/bin/main.ml index cb2ee8070..ad18fca89 100644 --- a/src/bin/main.ml +++ b/src/bin/main.ml @@ -123,7 +123,7 @@ let doc conf t = (* ********* *) let () = - let version = "0.9" in + let version = "0.10" in let exits = List.map (fun code -> let retcode, doc = Dolmen_loop.Code.descr code in