gatein/gatein-portal — pull request #529 by mwringe (2013-06-10 15:20:31+00:00)
Title: GTNPORTAL-3109: update the webui navigation menu's to display the menu's...

... inside browser.