diff Makefile.in @ 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 3869cf7d1e82
children
line wrap: on
line diff