diff options
author | Marvin W <git@larma.de> | 2019-12-25 20:28:07 +0100 |
---|---|---|
committer | Marvin W <git@larma.de> | 2019-12-25 20:28:07 +0100 |
commit | 7d1497a549892f97ef28bd9e1f5cc65df2f30635 (patch) | |
tree | 32e2a6c505ce2da2deb96fe702f459f16e4eb9f8 /plugins/gpgme-vala/vapi/gpg-error.vapi | |
parent | f3af064262e3ea8afe8397424b5f05d260a2a57e (diff) | |
download | dino-7d1497a549892f97ef28bd9e1f5cc65df2f30635.tar.gz dino-7d1497a549892f97ef28bd9e1f5cc65df2f30635.zip |
Add --release to ./configure, test via travis
Diffstat (limited to 'plugins/gpgme-vala/vapi/gpg-error.vapi')
0 files changed, 0 insertions, 0 deletions