Better reset the PIN verification stati after changing the key attributes.
[gnupg.git] / scripts / 
tree36bb43e4d789fe7e20a8f6a8b7934c9f94deade4
drwxr-xr-x   ..
-rw-r--r-- 982 ChangeLog
-rwxr-xr-x 3636 compile
-rwxr-xr-x 44604 config.guess
-rwxr-xr-x 18343 config.rpath
-rwxr-xr-x 32851 config.sub
-rwxr-xr-x 17500 depcomp
-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
-rw-r--r-- 272778 texinfo.tex