web: Minor cleanups.
[gnupg-doc.git] / tools /
drwxr-xr-x   ..
-rwxr-xr-x 4536 append-to-donors.sh
-rw-r--r-- 9105 donors.dat
-rwxr-xr-x 3104 mkkudos.sh