
ircII help: leave
Usage: LEAVE <channel>
  Leave a channel.   This is used to leave a single channel.
  It no channel is specified your current active channel is 
  assumed.
    LEAVE *
  also assumes your current channel.
  PART and LEAVE are identical.
See Also:
  JOIN
  SET NOVICE