K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2014-07-27T08:25:20.833541Z
K 7
svn:log
V 231
devel/premake: pet portlint and unmask installation

I meant to cd to devel/premake4 and started cleaning up this port by
mistake.  Oh well.  Portlint is now happy and danfe@ will be happy that
I unmasked and installation command.

END