diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-29 17:11:58 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-29 17:11:58 +0100 |
commit | af9e95f99d412e3c113ce93ed22bf2e67f4b5202 (patch) | |
tree | 42ec56e464b2cac0201c5f00525965ba9237ab30 /main.tex | |
parent | b6b61bea20527887eb6b927ee59068f0cd41991e (diff) | |
parent | 2b4769853b0a99c9a5c32e1d913e1de0f7573450 (diff) | |
download | oopsla21_fvhls-af9e95f99d412e3c113ce93ed22bf2e67f4b5202.tar.gz oopsla21_fvhls-af9e95f99d412e3c113ce93ed22bf2e67f4b5202.zip |
Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0
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}} |