From c33632daab31fb3bb719031169baa6c984bb860f Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Fri, 14 Jun 2024 18:32:58 +0200 Subject: [PATCH] prepare for v0.10 release --- CHANGES.md | 4 ++-- VERSION | 2 +- src/bin/main.ml | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) 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