diff options
| author | jak1 <mike.wollmann@gmail.com> | 2021-05-21 22:47:45 +0200 |
|---|---|---|
| committer | jak1 <mike.wollmann@gmail.com> | 2021-05-21 22:47:45 +0200 |
| commit | d0eb866bcf526a2a775e8c14d3c397ae232d9974 (patch) | |
| tree | b156af228ad465cd60111bd4722cfb3054ba915c /tools/ci/scripts/deheader.sh | |
| parent | 246e982d10c6f04d30ac4b84b676ade949a05ef6 (diff) | |
| download | manaplus-d0eb866bcf526a2a775e8c14d3c397ae232d9974.tar.gz manaplus-d0eb866bcf526a2a775e8c14d3c397ae232d9974.tar.bz2 manaplus-d0eb866bcf526a2a775e8c14d3c397ae232d9974.tar.xz manaplus-d0eb866bcf526a2a775e8c14d3c397ae232d9974.zip | |
added lint stage
(to prevent pipelines from running all trou in case any linting failes)
Diffstat (limited to 'tools/ci/scripts/deheader.sh')
0 files changed, 0 insertions, 0 deletions