From ec60b7a1fe7341a5b9106aac9c16356821520520 Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Wed, 27 May 2020 15:07:55 +0200 Subject: [PATCH] fixed broken link --- CHANGELOG.md | 6 +++++- README.md | 2 +- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 9f614f8..1e28d31 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -49,4 +49,8 @@ ## [0.5.1] -- minor fixes \ No newline at end of file +- minor fixes + +## [0.5.2] + +- media fixes \ No newline at end of file diff --git a/README.md b/README.md index c343456..ce3e37b 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t ## Features - + ## Requirements -- GitLab