diff make-dist @ 108800:697926009964

* etc/PROBLEMS: Remove some more old information.
author Glenn Morris <rgm@gnu.org>
date Wed, 26 May 2010 23:13:23 -0700
parents dedcf813aa69
children 4f510fa72be2
line wrap: on
line diff