summaryrefslogtreecommitdiff
path: root/doc/archi.tex
diff options
context:
space:
mode:
authorPixel <>2001-04-17 06:55:02 +0000
committerPixel <>2001-04-17 06:55:02 +0000
commita7bc5cfa7399926941a3754e3cbdc671f24b4b3d (patch)
tree6527baa45482798b61777cae9bf84eccb44075db /doc/archi.tex
parent502e0cd237a9a474b224ab9a741fe4d91ecdec36 (diff)
Pout
Diffstat (limited to 'doc/archi.tex')
-rw-r--r--doc/archi.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/archi.tex b/doc/archi.tex
index 20a1df8..f522549 100644
--- a/doc/archi.tex
+++ b/doc/archi.tex
@@ -11,6 +11,7 @@
\usepackage{fancyhdr}
\usepackage{oldstyle}
\usepackage{listings}
+\usepackage{verbatim}
%fin des initialisations--------------------------------------------------------
\pagestyle{fancyplain}