diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-12-30 10:56:02 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-12-30 10:56:06 -0800 |
| commit | edd19d4725153e6428e7b2e1b6594b4168601a39 (patch) | |
| tree | c24b368f29e26e911449ad55684e47f884f2984c /.gitattributes | |
| parent | 12d1b54546a45cdb88a0b26042ec45d6a99c57c9 (diff) | |
| download | subsurface-edd19d4725153e6428e7b2e1b6594b4168601a39.tar.gz | |
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>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions