Fix several shell output and code highlights.#1222
Merged
marioidival merged 1 commit intorust-lang:masterfrom Jul 23, 2019
tomasz-rozanski:pr
Merged
Fix several shell output and code highlights.#1222marioidival merged 1 commit intorust-lang:masterfrom tomasz-rozanski:pr
marioidival merged 1 commit intorust-lang:masterfrom
tomasz-rozanski:pr
