diff etc/MACHINES @ 69769:c393ff423703

update to current texinfo.tex
author Karl Berry <karl@gnu.org>
date Mon, 03 Apr 2006 00:08:06 +0000
parents 03eb5e7ad4f5
children 3681678d3d86 1ad066d533a9
line wrap: on
line diff