Zachary Yedidia 8bff7f00d0 Change docs to use true/false instead of on/off ... Closes #976		2018-01-08 15:21:32 -05:00
..
micro	Change docs to use true/false instead of on/off	2018-01-08 15:21:32 -05:00