board3/Board3-Portal — pull request #363 by marc1706 (2014-08-26 20:03:54+00:00)
Title: [ticket/354] Hide portal link if U_PORTAL is not set

Fixes #354