Revision 8128847c43e71c78b9b70cc6b69d359d3c7b853c

Committed on 11/10/2019 12:29 am by gggeek <[email protected]> [GitHub Diff]

cleanup docs; improve formatting