diff options
author | Michael Vetter <jubalh@iodoru.org> | 2019-02-20 10:31:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-20 10:31:34 +0100 |
commit | c8f55ed3385c44acc5d2675e086cc71e719f7c2c (patch) | |
tree | 1daf382759cdf9cf2c0063701aa39f76b8fe16cd /src/pgp | |
parent | fbbf920e2a36079a63ad74b258564fbf5200212e (diff) | |
parent | d1c54e9aaa3b6b9343759ab0e7572d5b71203b71 (diff) | |
download | profani-tty-c8f55ed3385c44acc5d2675e086cc71e719f7c2c.tar.gz |
Merge pull request #994 from philipflohr/master
Fail plugin unloading if plugin does not exist
Diffstat (limited to 'src/pgp')
0 files changed, 0 insertions, 0 deletions