diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-01-17 15:32:59 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-01-17 15:32:59 -0500 |
| commit | 9b6b39c06dda5482cb7f2016d9076c2815931445 (patch) | |
| tree | 04b9ad8499a75bb8030e454e018cff73d44abf12 /lib/proof-site | |
| parent | b800d2430bf23e91cb15fa88e7a15eb6430b766b (diff) | |
| download | configs-9b6b39c06dda5482cb7f2016d9076c2815931445.tar.gz configs-9b6b39c06dda5482cb7f2016d9076c2815931445.tar.xz configs-9b6b39c06dda5482cb7f2016d9076c2815931445.zip | |
[emacs] Query for GPG passphrase through minibuffer
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions