summaryrefslogtreecommitdiffstats
path: root/introduction.tex
diff options
context:
space:
mode:
authorJohn Wickerson <j.wickerson@imperial.ac.uk>2020-11-18 16:28:00 +0000
committeroverleaf <overleaf@localhost>2020-11-18 16:28:02 +0000
commitcacf357e849c0cc3f18b714d9fadbb161912639f (patch)
tree78c3dd91b2d4a66ce35c414f831fc53964ecbb97 /introduction.tex
parent81338d4898565282a40424dd70dd0c530e95ea6f (diff)
downloadoopsla21_fvhls-cacf357e849c0cc3f18b714d9fadbb161912639f.tar.gz
oopsla21_fvhls-cacf357e849c0cc3f18b714d9fadbb161912639f.zip
Update on Overleaf.
Diffstat (limited to 'introduction.tex')
-rw-r--r--introduction.tex2
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