diff configure @ 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 816fe1a75404
children b809ab4a474e
line wrap: on
line diff