From f0016f562efc07ff3f09fa6253407936897da5ea Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 8 Aug 2019 17:05:48 +0200
Subject: [PATCH] version bump

---
 src/plugins/markdown-report/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/markdown-report/Makefile b/src/plugins/markdown-report/Makefile
index 6cab2e41d61..3c39dd629b4 100644
--- a/src/plugins/markdown-report/Makefile
+++ b/src/plugins/markdown-report/Makefile
@@ -2,7 +2,7 @@ ifndef FRAMAC_SHARE
   FRAMAC_SHARE:=$(shell frama-c -print-share-path)
 endif
 
-Report_markdown_VERSION:=0.1~alpha
+Report_markdown_VERSION:=0.1~beta
 
 PLUGIN_NAME:=Report_markdown
 PLUGIN_GENERATED:=mdr_version.ml
-- 
GitLab