K 10
svn:author
V 3
mva
K 8
svn:date
V 27
2014-01-17T20:45:42.100018Z
K 7
svn:log
V 115
- make MIKMOD option the default again, which was lost on an earlier commit

PR:		ports/185723
Submitted by:	makc@

END