Juan RP db0f20706d env/setup/misc: switch GNU_SITE to http://ftp.gnu.org.		2015-06-25 07:06:25 +02:00
..
.empty
install.sh
misc.sh	env/setup/misc: switch GNU_SITE to http://ftp.gnu.org.	2015-06-25 07:06:25 +02:00
options.sh
replace-interpreter.sh
sourcepkg.sh