K 10
svn:author
V 4
ngie
K 8
svn:date
V 27
2017-07-25T00:33:53.596582Z
K 7
svn:log
V 135
Install BSD.coverage.dist if MK_COVERAGE == no

This file is basically the same as BSD.debug.dist -- the only different is the
prefix.

END