diff options
| author | Pixel <Pixel> | 2001-05-03 00:16:55 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-05-03 00:16:55 +0000 |
| commit | f6a2189fb85618d50de1edee30536641b0c376cf (patch) | |
| tree | 498097931b4d76982b8d81e9f25e76af4d2d2a99 /doc/description.tex | |
| parent | 90c7f7fa3273845551289641da37dc195283f0cb (diff) | |
Zop
Diffstat (limited to 'doc/description.tex')
| -rw-r--r-- | doc/description.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/description.tex b/doc/description.tex index a9d8851..e422079 100644 --- a/doc/description.tex +++ b/doc/description.tex @@ -27,4 +27,4 @@ parser.c pile.c numbers.c interface.c terminal.c \section{Module de gestion des erreurs} -exceptions.c
\ No newline at end of file +exceptions.c |