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

vopt_enable: check for excess parameters

2015-06-20 10:08:44 +02:00

replace-interpreter.sh

…

sourcepkg.sh

…