diff oldXMenu/X10.h @ 48062:c9585243ef9f

(texinfo-environments): Add environment; copying, documentdescription, ifplaintext, ifnotplaintext, and verbatim.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 29 Oct 2002 07:52:32 +0000
parents bbce331da1be
children 23a1cea22d13
line wrap: on
line diff