Piraty 9c3252976f common/environment/setup/misc.sh: set FREEDESKTOP_SITE to www.freedesktop.org.		2024-08-16 10:50:27 +02:00
..
.empty
archive.sh
git.sh
install.sh
misc.sh	common/environment/setup/misc.sh: set FREEDESKTOP_SITE to www.freedesktop.org.	2024-08-16 10:50:27 +02:00
options.sh
python.sh
replace-interpreter.sh
sourcepkg.sh
vsed.sh