diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-11-18 16:27:41 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-11-18 16:27:45 +0000 |
commit | c90f9cda4c435b8e8aef9fd3ea5b4524a20326b8 (patch) | |
tree | 419484a62613a90e53d4e5cc0a8ef291cd8438d5 /introduction.tex | |
parent | e7e3dc2e0fcbec518d43c661a4d305a736ab7092 (diff) | |
download | oopsla21_fvhls-c90f9cda4c435b8e8aef9fd3ea5b4524a20326b8.tar.gz oopsla21_fvhls-c90f9cda4c435b8e8aef9fd3ea5b4524a20326b8.zip |
Update on Overleaf.
Diffstat (limited to 'introduction.tex')
-rw-r--r-- | introduction.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/introduction.tex b/introduction.tex index 166d092..e2215b0 100644 --- a/introduction.tex +++ b/introduction.tex @@ -50,9 +50,9 @@ The contributions of this paper are as follows: \begin{center} \ifANONYMOUS -\url{https://github.com/ymherklotz/vericert} +\url{https://github.com/anonymous/} \else - +\url{https://github.com/ymherklotz/vericert} \fi \end{center} |