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