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