Fixed markdown.
This commit is contained in:
parent
4fe36e9ad4
commit
bf691e04a0
|
@ -37,4 +37,4 @@ SPDX-License-Identifier: BSD-2-Clause
|
||||||
|
|
||||||
The master git repository for this project is hosted by the [Software
|
The master git repository for this project is hosted by the [Software
|
||||||
Assurance & Security Research Team](https://logicalhacking.com) at
|
Assurance & Security Research Team](https://logicalhacking.com) at
|
||||||
https://git.logicalhacking.com/adbrucker/isabelle-hacks
|
<https://git.logicalhacking.com/adbrucker/isabelle-hacks>.
|
||||||
|
|
Loading…
Reference in New Issue