16 Jan
2010
16 Jan
'10
10:49 p.m.
Hi all, Would you consider applying the attached patch? It fixes an obscure nuisance when generating the documentation. Thanks, Daniel