chiark / gitweb /
bin/update-cross-tools: Don't try to substitute GnuPG.