diff options
author | Santo Cariotti <santo@dcariotti.me> | 2022-10-18 21:54:02 +0200 |
---|---|---|
committer | Santo Cariotti <santo@dcariotti.me> | 2022-10-18 21:54:02 +0200 |
commit | 4afad1ead0970be6e9215560437c57cd4e23f069 (patch) | |
tree | e5d575645ef115a9bc7503269fd2ef0536f35152 /docs/conf.tex | |
parent | 2a3ac944339ad34ef74f0aede7faceb06d4abeae (diff) |
dump
Diffstat (limited to 'docs/conf.tex')
-rw-r--r-- | docs/conf.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.tex b/docs/conf.tex index c2c8521..07abcd9 100644 --- a/docs/conf.tex +++ b/docs/conf.tex @@ -9,7 +9,7 @@ \definecolor{mauve}{rgb}{0.58,0,0.82} \lstset{frame=tb, - language=Java, + language=C, aboveskip=3mm, belowskip=3mm, showstringspaces=false, |