* gpgkeys_hkp.c (curl_mrindex_writer): Revert previous change.
[gnupg.git] / scripts / 
tree9930351a1ae2a3b12735ba03532ec9884122ddec
drwxr-xr-x   ..
-rw-r--r-- 537 ChangeLog
-rwxr-xr-x 3064 compile
-rwxr-xr-x 43214 config.guess
-rwxr-xr-x 14987 config.rpath
-rwxr-xr-x 31240 config.sub
-rwxr-xr-x 13681 depcomp
-rwxr-xr-x 7122 install-sh
-rwxr-xr-x 4184 mdate-sh
-rwxr-xr-x 10270 missing
-rwxr-xr-x 1988 mkinstalldirs
-rw-r--r-- 222198 texinfo.tex