K 10 svn:author V 5 edwin K 8 svn:date V 27 2003-09-08T08:33:31.000000Z K 7 svn:log V 251 [MAINTAINER] devel/mico: fix docs fetch Documentation has gone from master site (I hope accidently), so I've put it on my home page to fix fetching. Doesn't fix the checksum problem. PR: ports/56568 Submitted by: Sergey Matveychuk END