summaryrefslogtreecommitdiffstats
path: root/main.tex
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-11-15 19:15:27 +0000
committerYann Herklotz <git@yannherklotz.com>2020-11-15 19:15:27 +0000
commit2ec78625f252074260127d365581ac886548cff4 (patch)
treebd2cd7c08af9ed1207950c494a68f2eff6a76417 /main.tex
parentc258a14a48bf5cc7ffe22f26edf03f55a92573d2 (diff)
downloadoopsla21_fvhls-2ec78625f252074260127d365581ac886548cff4.tar.gz
oopsla21_fvhls-2ec78625f252074260127d365581ac886548cff4.zip
Finish most of algorithm section
Diffstat (limited to 'main.tex')
-rw-r--r--main.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/main.tex b/main.tex
index 0fc1eea..8697347 100644
--- a/main.tex
+++ b/main.tex
@@ -46,6 +46,7 @@
\usepackage{minted}
\setminted{fontsize=\small}
+\usemintedstyle{manni}
\newif\ifCOMMENTS
\COMMENTStrue