diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-11-18 21:20:31 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-18 22:05:58 +0000 |
| commit | 3b7bb995249551aab27ba5e12c425f40df793773 (patch) | |
| tree | 66a8589cfa3f868e195bf80ad072275cdddb44f6 /main.tex | |
| parent | f391370cd91c5848496ae47ab246afa0a0bbd6e2 (diff) | |
| download | oopsla21_fvhls-3b7bb995249551aab27ba5e12c425f40df793773.tar.gz oopsla21_fvhls-3b7bb995249551aab27ba5e12c425f40df793773.zip | |
Chop evaluation
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -54,7 +54,7 @@ \ANONYMOUStrue \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}} |