28 Aug
2013
28 Aug
'13
1:40 a.m.
On Tuesday, August 27, 2013 19:30:28 Mariusz Libera wrote:
Hi, please remove htmldoc-patched, it's now the same as htmldoc. Also consider deleting htmldoc-svn as it's currently broken and seems to be unmaintained for a long time.
Both removed, thanks. Regards, Felix Yan