Nicolas Sebrecht 23b497d191 scripts/get-repository.sh.rej: remove unused file 7 years ago
..
get-repository.sh 7c7d693bd5 scripts/get-repository.sh: use portable /bin/sh 7 years ago