diff options
| author | Pixel <> | 2001-04-17 06:55:02 +0000 |
|---|---|---|
| committer | Pixel <> | 2001-04-17 06:55:02 +0000 |
| commit | a7bc5cfa7399926941a3754e3cbdc671f24b4b3d (patch) | |
| tree | 6527baa45482798b61777cae9bf84eccb44075db /doc/archi.tex | |
| parent | 502e0cd237a9a474b224ab9a741fe4d91ecdec36 (diff) | |
Pout
Diffstat (limited to 'doc/archi.tex')
| -rw-r--r-- | doc/archi.tex | 1 |
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} |