diff etc/CENSORSHIP @ 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 632018b817e3
children
line wrap: on
line diff