Eelco Dolstra ac06c8d248 Revert "docs: drop shell prompt character for consistency" ... This reverts commit c068cce107 because it makes the docs *less* consistent.		2022-12-02 11:56:12 +01:00
..
manual	Revert "docs: drop shell prompt character for consistency"	2022-12-02 11:56:12 +01:00