Fixed markdown.

This commit is contained in:
Achim D. Brucker 2018-07-04 02:02:17 +01:00
parent 11e1ae9122
commit 28e090fdde
1 changed files with 1 additions and 1 deletions

View File

@ -50,7 +50,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_Firewall
<https://git.logicalhacking.com/afp-mirror/UPF_Firewall>.
## Publications
* Achim D. Brucker, Lukas Brügger, and Burkhart Wolff. Formal Firewall