Use code font for tool names and flags in INSTALL.md.#1134
Merged
iphydf merged 1 commit intoTokTok:masterfrom iphydf:install-md-code-fontSep 2, 2018
+43-47
code font for tool names and flags in INSTALL.md.#1134