Browse Source

Fix link for GitHub.

oldhaskell
Thomas Kerber 1 year ago
parent
commit
84cfc9cc1f
Signed by: Thomas Kerber <t.kerber@ed.ac.uk> GPG Key ID: 8489B911F9ED617B
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      README.md

+ 1
- 1
README.md View File

@@ -1,6 +1,6 @@
# Yggdrasil

![Yggdrasil - The Mundane Tree](/phd/yggdrasil/raw/branch/master/yggdrasil.jpg)
![Yggdrasil - The Mundane Tree](https://git.drwx.org/phd/yggdrasil/raw/branch/master/yggdrasil.jpg)

Yggdrasil is a UC-based system for modelling security protocols.


Loading…
Cancel
Save