[abc] abc irc

Some of the new abc team members have not been told about the abc IRC
channel. I have created a wiki page to tell everyone how the IRC channel
can be accessed:

http://musketeer.comlab.ox.ac.uk/ProgToolsWiki/Irc

Currently, the contents of the wiki page are:

> For discussing abc, we use the IRC channel #abc on irc.oftc.net. To
> access the IRC channel, you can use irssi or an IRC client of your
> choice. If using irssi, the command is
>
> irssi -c irc.oftc.net
>
> Once the irc client connects, use the command
>
> /join #abc

Ondrej
Received on Wed Aug 24 22:02:54 2005