diff src/editfns.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 41ceb9298a4e
children 4f06a8a0e7a6
line wrap: on
line diff