Added get_key_file_double(). Use this in places where needed rather than
tree058618db0351e3e48823b7cf612207eb8318c50d
-rw-r--r-- 17989 COPYING
-rw-r--r-- 9416 INSTALL
-rw-r--r-- 0 KnownBugs
-rw-r--r-- 347 Makefile.am
-rw-r--r-- 2612 NEWS
-rw-r--r-- 3393 README
-rw-r--r-- 1618 TODO
drwxr-xr-x - assuan
-rwxr-xr-x 2412 autogen.sh
-rw-r--r-- 6332 configure.ac
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - po
drwxr-xr-x - src