diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-13 10:08:42 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-13 10:08:42 +0100 |
commit | 7c8b76e85d8a28c22fe594c5f842f2dfab414876 (patch) | |
tree | 970993aaaf23e989f5622cab0ace9f01ccb1f07c | |
parent | 5811afdf0133dc45fbde5c9d444e690afd8dc27d (diff) | |
download | oopsla21_fvhls-7c8b76e85d8a28c22fe594c5f842f2dfab414876.tar.gz oopsla21_fvhls-7c8b76e85d8a28c22fe594c5f842f2dfab414876.zip |
Turn comments off
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -83,7 +83,7 @@ \ANONYMOUSfalse \newif\ifCOMMENTS -\COMMENTStrue +\COMMENTSfalse \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}} |