diff options
author | MarcoFalke <falke.marco@gmail.com> | 2019-10-17 10:53:21 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2019-10-17 10:52:11 -0400 |
commit | fadccb263baf6b8694f750623add42f966e423a3 (patch) | |
tree | 259110142936ccb30b8b980e11650a48719e6f96 /ci/test/05_before_script.sh | |
parent | 4444704ca9f66cdc24ab2d444941354db1dfed06 (diff) |
doc: Document that GNU tools are required for linters
Diffstat (limited to 'ci/test/05_before_script.sh')
0 files changed, 0 insertions, 0 deletions