diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-06-29 16:03:44 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-06-29 16:11:54 +0000 |
commit | 2b4769853b0a99c9a5c32e1d913e1de0f7573450 (patch) | |
tree | 5b8e53c8ea63e3cfef03b290634ff1433a0f35c0 /main.tex | |
parent | 9797dabf78b306183766c2446b3ee62406d9623f (diff) | |
download | oopsla21_fvhls-2b4769853b0a99c9a5c32e1d913e1de0f7573450.tar.gz oopsla21_fvhls-2b4769853b0a99c9a5c32e1d913e1de0f7573450.zip |
Update on Overleaf.
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -50,7 +50,7 @@ \usepackage{minted} \newif\ifCOMMENTS -\COMMENTSfalse +\COMMENTStrue \newcommand{\Comment}[3]{\ifCOMMENTS\textcolor{#1}{{\bf [\![#2:} #3{\bf ]\!]}}\fi} \newcommand\JW[1]{\Comment{red!75!black}{JW}{#1}} \newcommand\YH[1]{\Comment{green!50!blue}{YH}{#1}} |