diff src/ecrt0.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 a8fa7c632ee4 375f2633d815
line wrap: on
line diff