diff etc/PROBLEMS @ 110950:77c12a233de2

* make-dist: Remove comment that no longer applies.
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Oct 2010 00:46:57 -0700
parents df8e0cd18128
children b2ce1b10b56f
line wrap: on
line diff