diff oldXMenu/DelSel.c @ 53628:8707b3e084c6

Use "Texinfo" consistently, no "TeXinfo" or "TexInfo".
author Karl Berry <karl@gnu.org>
date Tue, 20 Jan 2004 01:28:15 +0000
parents 695cf19ef79e
children f0eb34e60705 e8824c4f5f7e 375f2633d815
line wrap: on
line diff