board3/Board3-Portal — pull request #274 by marc1706 (2014-06-28 09:27:04+00:00)
Title: [ticket/273] Only show portal files in coverage report

Fixes #273