Satoshi Asami 68cf975a72 Change default port number. This was actually a very old patch that ... I forgot to commit. Submitted by: Hidekazu Kuroki <hidekazu@cs.titech.ac.jp>		1997-03-12 09:39:24 +00:00
..
patch-aa	An sj3 frontend.	1996-08-19 11:40:50 +00:00
patch-ab	Change default port number. This was actually a very old patch that	1997-03-12 09:39:24 +00:00