tests/gpg/random_seed
author Ronny Pfannschmidt <Ronny.Pfannschmidt@gmx.de>
Sun, 13 Dec 2009 18:29:16 +0100
changeset 10077 89617aacb495
parent 8809 6fce36336e42
child 20263 ea4996754d91
permissions -rw-r--r--
make ui.interactive() return false in case stdin lacks isatty

(binary:application/octet-stream)