diff options
Diffstat (limited to 'doc/dvi2tty/HISTORY')
| -rw-r--r-- | doc/dvi2tty/HISTORY | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/dvi2tty/HISTORY b/doc/dvi2tty/HISTORY index 47952200ce..e659c6d6b3 100644 --- a/doc/dvi2tty/HISTORY +++ b/doc/dvi2tty/HISTORY @@ -1,3 +1,8 @@ +2012-12-24 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 5.3.4, fixed WEB_SITE + * disdvi.c.patch, dvi2tty.c.patch, malloc_cleanup.patch: removed + * PRE_BUILD: removed patches + 2009-07-29 Andraž "ruskie" Levstik <ruskie+f03a580f@codemages.net> * BUILD, DETAILS, PRE_BUILD: spell created * disdvi.c.patch, dvi2tty.c.patch, malloc_cleanup.patch: needed for |