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 | |
| parent | f3af064262e3ea8afe8397424b5f05d260a2a57e (diff) | |
| download | dino-7d1497a549892f97ef28bd9e1f5cc65df2f30635.tar.gz dino-7d1497a549892f97ef28bd9e1f5cc65df2f30635.zip | |
Add --release to ./configure, test via travis
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions