Eric Andersen 1d63e8a8d9 Make the sourceforge mirror site a config option, as sourceforge 20 years ago
..
Config.in 0333aa2d67 merge help descriptions written by Tom Cameron 20 years ago
hotplug.mk 1d63e8a8d9 Make the sourceforge mirror site a config option, as sourceforge 20 years ago
hotplug.patch 44eedc5c44 facelift step number two 21 years ago