diff etc/tutorials/TUTORIAL.de @ 100715:b31133dbfd6d

(Top): Add @detailmenu item for "Terminal Type".
author Eli Zaretskii <eliz@gnu.org>
date Sat, 27 Dec 2008 15:45:03 +0000
parents 4e76a03232e5
children c90853557b90
line wrap: on
line diff