diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-09-10 14:00:17 +0000 |
---|---|---|
committer | node <node@git-bridge-prod-0> | 2021-09-10 14:17:12 +0000 |
commit | 23d94e9aa9b54e6f24097d2fbbf8da55a9679ee4 (patch) | |
tree | fb430e640822afc263e1338dbe90a2b1b05c7aa4 /main.tex | |
parent | c7f22722573261a20221de144b7b93b8e46ee01b (diff) | |
download | oopsla21_fvhls-23d94e9aa9b54e6f24097d2fbbf8da55a9679ee4.tar.gz oopsla21_fvhls-23d94e9aa9b54e6f24097d2fbbf8da55a9679ee4.zip |
Update on Overleaf.
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -82,7 +82,7 @@ \ANONYMOUSfalse \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}} |