diff etc/PROBLEMS @ 110949:aa38b4aad856

* make-dist: Simplify trap handling.
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Oct 2010 00:44:12 -0700
parents df8e0cd18128
children b2ce1b10b56f
line wrap: on
line diff