diff options
| -rw-r--r-- | introduction.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/introduction.tex b/introduction.tex index 07a11a4..b2d25b0 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/anonymised} +\url{https://github.com/anonymised-for-blind-review} \else \url{https://github.com/ymherklotz/vericert} \fi |