mkenigsandGitHub 8b15650e74 docs: consistent console prompt (#4213) ...

Everywhere else a $ is used

2020-11-02 16:32:05 +01:00

..

manual

docs: consistent console prompt (#4213)

2020-11-02 16:32:05 +01:00