diff etc/=MACHINES @ 11131:5db8a01b22cb

(Vdefault_text_properties): name changed from Vdefault_properties.
author Boris Goldowsky <boris@gnu.org>
date Mon, 27 Mar 1995 16:04:57 +0000
parents 0e1b3507ee15
children
line wrap: on
line diff