diff options
| -rw-r--r-- | introduction.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/introduction.tex b/introduction.tex index e2215b0..07a11a4 100644 --- a/introduction.tex +++ b/introduction.tex @@ -50,7 +50,7 @@ The contributions of this paper are as follows: \begin{center} \ifANONYMOUS -\url{https://github.com/anonymous/} +\url{https://github.com/anonymised} \else \url{https://github.com/ymherklotz/vericert} \fi |