-
Herbert Valerio Riedel authored
This commit also updates the GHC user guide section regarding the `set prompt` command and closes #8047. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11814a8e
This commit also updates the GHC user guide section
regarding the `set prompt` command and closes #8047.
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>