diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-11-18 16:27:45 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-11-18 16:27:49 +0000 |
commit | 81338d4898565282a40424dd70dd0c530e95ea6f (patch) | |
tree | 0c1cc7dee19f013a010799cc1f7ce23ca43c0ad4 /introduction.tex | |
parent | c90f9cda4c435b8e8aef9fd3ea5b4524a20326b8 (diff) | |
download | oopsla21_fvhls-81338d4898565282a40424dd70dd0c530e95ea6f.tar.gz oopsla21_fvhls-81338d4898565282a40424dd70dd0c530e95ea6f.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 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 |