Browse Source

Fixed markdown.

tags/afp-UPF-current-Isabelle2018
Achim D. Brucker 1 year ago
parent
commit
2766cec66c
1 changed files with 1 additions and 1 deletions
  1. 1
    1
      README.md

+ 1
- 1
README.md View File

@@ -25,7 +25,7 @@ SPDX-License-Identifier: BSD-3-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/afp-mirror/UPF
<https://git.logicalhacking.com/afp-mirror/UPF>.

## Publications


Loading…
Cancel
Save