advertise /exit

This commit is contained in:
Paul Gauthier 2023-05-26 16:09:40 -07:00
parent ec933f4417
commit 21b3a538dd

View file

@ -207,7 +207,7 @@ class Coder:
self.num_control_c += 1
if self.num_control_c >= 2:
break
self.io.tool_error("^C again to quit")
self.io.tool_error("^C again or /exit to quit")
except EOFError:
return