Bryan Ashby dfe1c297b5 Menu "options" block is now deprecated. Move members to "config"! ... * Deprecate & allow conversion behind the scenes for now + add warning in log * Add some initial docs * Clean up prompt.hjson and menu.hjson		2018-08-05 14:06:30 -06:00
..
menu.hjson	Menu "options" block is now deprecated. Move members to "config"!	2018-08-05 14:06:30 -06:00
prompt.hjson	Menu "options" block is now deprecated. Move members to "config"!	2018-08-05 14:06:30 -06:00