mifr/subsurface
1
0
Fork 0
mirror of https://github.com/subsurface/subsurface.git synced 2024-11-28 05:00:20 +00:00
Code Issues Projects Releases Packages Wiki Activity
subsurface/.github
History
Dirk Hohndel edd19d4725 build-system: fix Coverity script 
Trying to keep the different build environments consistent I messed up and
dropped wget and curl from the Coverity build. Moving them to the beginning of
the list so they stand out more.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2020-12-30 10:56:06 -08:00
..
workflows build-system: fix Coverity script 2020-12-30 10:56:06 -08:00
ISSUE_TEMPLATE.md Small changes to the issue template 2017-10-28 16:59:20 +02:00
PULL_REQUEST_TEMPLATE.md release-notes: use CHANGELOG.md 2017-11-28 19:05:04 -08:00