David E. O'Brien 6415e3865d Use "ftpsearch.ntnu.no" as the default server. Seems to be quite fast and ... upto date. Submitted by: Thomas Gellekum <tg@ihf.rwth-aachen.de>		1998-08-11 18:30:40 +00:00
..
patch-aa	Use "ftpsearch.ntnu.no" as the default server. Seems to be quite fast and	1998-08-11 18:30:40 +00:00
patch-ab