Some fixes

2012-09-15 12:25:54 +02:00
1 parent 6e96b87462
commit e616d0de04
@@ -30,6 +30,8 @@
 \renewcommand{\appendixtocname}{Annexes}
 \renewcommand{\appendixpagename}{Annexes}

+\definecolor{gray}{rgb}{0.5,0.5,0.5}
+
 \lstset{
    language=C++,
    basicstyle=\footnotesize,