mirror of
https://github.com/PDP-10/its.git
synced 2026-02-18 13:37:10 +00:00
Added BYE: says goodbye to user with nickname/quips.
Used in LOGOUT scripts.
This commit is contained in:
committed by
Lars Brinkhoff
parent
5f767f06b1
commit
6b0bad5dc8