comparison etc/PROBLEMS @ 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 df8e0cd18128
children b2ce1b10b56f
comparison
equal deleted inserted replaced
110951:85fe6b298326 110952:495ef3733d20