From ce7e3896b3818bb75400e2cb740859354efa61f6 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 22 Jun 2018 17:34:52 +0100 Subject: [PATCH] Fixed markdown. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index aedfd2b..4e90ed3 100644 --- a/README.md +++ b/README.md @@ -35,5 +35,5 @@ SPDX-License-Identifier: BSD-2-Clause ## Master Repository The master git repository for this project is hosted by the [Software -Assurance & Security Research Team](https://logicalhacking.com): -[https://git.logicalhacking.com/adbrucker/isabelle-hacks] +Assurance & Security Research Team](https://logicalhacking.com) at +https://git.logicalhacking.com/adbrucker/isabelle-hacks