diff etc/PROBLEMS @ 99680:778deb5dc2ea

Checked custom.texi
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 17 Nov 2008 23:11:44 +0000
parents f6f4d415536b
children 27f8c0a5cb19
line wrap: on
line diff