diff --git a/README.md b/README.md index e8671f5..6a91636 100644 --- a/README.md +++ b/README.md @@ -37,4 +37,4 @@ SPDX-License-Identifier: BSD-2-Clause The master git repository for this project is hosted by the [Software Assurance & Security Research Team](https://logicalhacking.com) at -https://git.logicalhacking.com/adbrucker/isabelle-hacks +.