diff etc/MACHINES @ 110952:495ef3733d20

* make-dist: Replace grep with sed when determining $version.
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Oct 2010 01:05:28 -0700
parents 6e51c4581e16
children 417b1e4d63cd
line wrap: on
line diff