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