Make it easier to copy and paste example commands.#289

Merged

bors[bot] merged 1 commit intorust-embedded:masterfrom wpd:wpd/fix-copy-paste

Apr 7, 2021

+41-41

Commits on Apr 7, 2021

Make it easier to copy and paste example commands.
wpd
committed