mkenigs 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