board3/Board3-Portal — pull request #210 by marc1706 (2014-02-04 11:57:39+00:00)
Title: [ticket/172] Remove portal.php from export-ignore list

The file no longer exists inside the repository and therefore there is no
need to ingore it during export. This prevented the portal from exporting
the needed language file portal.php during the creation of the zip
archive.

B3P-172

Fixed #172
Fixed #206