« Previous | Next » 

Revision cb79e2ed

IDcb79e2ed56a7e35b65d0d177eebb573291e02a4a
Parent ba24226c
Child d8eabd0f

Added by Kostas Papadimitriou about 10 years ago

Improve get_menu view

Allow enabling/disabling some of the menus.
Changed some of the titles.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences