diff etc/MACHINES @ 100873:be51a6e9224f

ERC: Do not include text properties when returning user input.
author Michael Olson <mwolson@gnu.org>
date Sat, 03 Jan 2009 23:11:06 +0000
parents 88838d8ca34d
children c90853557b90
line wrap: on
line diff