]> git.ipfire.org Git - people/pmueller/ipfire-2.x.git/tree - tools/
Change pgp keyserver to pgp.ipfire.org so we can change it in the dns.
[people/pmueller/ipfire-2.x.git] / tools /
drwxr-xr-x   ..
-rwxr-xr-x 2819 check_langs.sh
-rwxr-xr-x 2420 check_strings.pl
-rwxr-xr-x 2158 checknewlog.pl
-rw-r--r-- 22004 make-functions
-rwxr-xr-x 742 sendEmail
-rwxr-xr-x 2119 sort_strings.pl