diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 16:34:07 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-10 16:34:07 +0100 |
commit | de84736afa6c6b873af5872f24fcd9e9b2e54173 (patch) | |
tree | d55d62e48cbfd7cd3735249358eb672df7c1c4ce /introduction.tex | |
parent | 34b510b5c3113557a6981e9548343bca558461d8 (diff) | |
download | oopsla21_fvhls-de84736afa6c6b873af5872f24fcd9e9b2e54173.tar.gz oopsla21_fvhls-de84736afa6c6b873af5872f24fcd9e9b2e54173.zip |
Remove the last comment
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 91102fd..cafdd07 100644 --- a/introduction.tex +++ b/introduction.tex @@ -53,7 +53,7 @@ The contributions of this paper are as follows: %\JW{This sentence seems pretty good to me; is it up-to-date with the latest `challenges' you've faced?} \paragraph{Companion material} -\vericert{} is fully open source and available on GitHub at \url{https://github.com/ymherklotz/vericert}. A snapshot of the \vericert{} development is also available in a Zenodo repository~\cite{yann_herklotz_2021_5093839}, which also contains \JW{fill this in, e.g. `source code for the benchmarks' or `benchmarking results' or whatever}. +\vericert{} is fully open source and available on GitHub at \url{https://github.com/ymherklotz/vericert}. A snapshot of the \vericert{} development is also available in a Zenodo repository~\cite{yann_herklotz_2021_5093839}. %%% Local Variables: |