diff etc/PROBLEMS @ 103807:e8b21cc10b15

Dont't hard-code texinfo location.
author Glenn Morris <rgm@gnu.org>
date Thu, 09 Jul 2009 03:06:36 +0000
parents a53a6689e178
children c4fa6fe77406
line wrap: on
line diff