Marc Olzheim 788bae6c01 Use non-standard port for the nightly servers, so that the servers ... do not conflict with other possible test servers.		2004-06-20 14:08:42 +00:00
..
nightly	Use non-standard port for the nightly servers, so that the servers	2004-06-20 14:08:42 +00:00
indent-emp	(iop, iop_t): Unused, remove.	2004-04-08 19:53:17 +00:00
mkdist	Update for 4.2.16.	2004-06-16 19:03:41 +00:00