Eric Andersen 1d63e8a8d9 Make the sourceforge mirror site a config option, as sourceforge ... mirrors tend to change, move, go down, etc from time to time.		2005-06-09 12:15:00 +00:00
..
Config.in	help text	2004-10-14 20:33:45 +00:00
strace.mk	Make the sourceforge mirror site a config option, as sourceforge	2005-06-09 12:15:00 +00:00