Merge branch 'master' into keyserver-via-dirmngr
[gnupg.git] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 1128 ChangeLog
-rwxr-xr-x 3636 compile
-rwxr-xr-x 45120 config.guess
-rwxr-xr-x 18343 config.rpath
-rwxr-xr-x 35070 config.sub
-rwxr-xr-x 17500 depcomp
drwxr-xr-x - gpg-w32-dev
-rwxr-xr-x 13184 install-sh
-rwxr-xr-x 2214 mail-to-translators
-rwxr-xr-x 5410 mdate-sh
-rwxr-xr-x 11061 missing
-rwxr-xr-x 3495 mkinstalldirs
-rwxr-xr-x 2160 potomo
-rw-r--r-- 272778 texinfo.tex