misc: Use https, avoid mixed content on git.gnupg.org.
[gnupg-doc.git] / tools /
drwxr-xr-x   ..
-rwxr-xr-x 5154 append-to-donors.sh
-rwxr-xr-x 1696 build-website.sh
-rw-r--r-- 9105 donors.dat
-rwxr-xr-x 3549 getkey.sh
-rwxr-xr-x 7818 mkkudos.sh