diff etc/PROBLEMS @ 108312:3bda5d5b9038

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Fri, 07 May 2010 19:13:50 -0700
parents dd8a8fd1397e
children 5c0ae0e21681
line wrap: on
line diff