diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2020-07-01 16:43:01 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-07-01 16:45:13 +0000 |
commit | 3b489327c124fae5a8e79b50bf5d7e367fe89505 (patch) | |
tree | 477fe8fd34ca97739a1de8dab6fb9da85cc64757 /main.tex | |
parent | 76dda762e5d1801a9c79600fb0ce0f1867df61f9 (diff) | |
download | oopsla21_fvhls-3b489327c124fae5a8e79b50bf5d7e367fe89505.tar.gz oopsla21_fvhls-3b489327c124fae5a8e79b50bf5d7e367fe89505.zip |
Update on Overleaf.
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -52,7 +52,7 @@ \setminted{fontsize=\small} \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}} |