refs #5192 Simplify / improve top menu #291

@tsteur opened this Pull Request on May 26th 2014 Member

Introduces a new user menu and refactored how menus are configured

This Pull Request was closed on May 26th 2014
Home | Back
Powered by GitHub Issue Mirror
Privacy Policy