summaryrefslogtreecommitdiff
path: root/bin/manage-gpg-keys
AgeCommit message (Expand)Author
2019-09-10bin/manage-gpg-keys: /bin/bash -> /bin/shErich Eckner
2019-09-09bin/manage-gpg-keys: new (rudimentary functionality only)Erich Eckner