campaign,de,fr: fix body lang attributes
[gnupg-doc.git] / tools /
drwxr-xr-x   ..
-rwxr-xr-x 7312 append-to-donors.sh
-rwxr-xr-x 10064 build-website.sh
-rw-r--r-- 9105 donors.dat
-rwxr-xr-x 3549 getkey.sh
-rwxr-xr-x 10874 mkkudos.sh
-rw-r--r-- 4507 news-file-to-org.awk
-rw-r--r-- 263 trigger-website-build