diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-11-18 16:28:00 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-11-18 16:28:02 +0000 |
commit | cacf357e849c0cc3f18b714d9fadbb161912639f (patch) | |
tree | 78c3dd91b2d4a66ce35c414f831fc53964ecbb97 /introduction.tex | |
parent | 81338d4898565282a40424dd70dd0c530e95ea6f (diff) | |
download | oopsla21_fvhls-cacf357e849c0cc3f18b714d9fadbb161912639f.tar.gz oopsla21_fvhls-cacf357e849c0cc3f18b714d9fadbb161912639f.zip |
Update on Overleaf.
Diffstat (limited to 'introduction.tex')
-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 |