diff options
author | Douwe Maan <douwe@gitlab.com> | 2017-02-08 06:14:02 +0300 |
---|---|---|
committer | Douwe Maan <douwe@gitlab.com> | 2017-02-08 06:14:02 +0300 |
commit | bbb7fbcd02c9d9a8a6d6ca44d7ce668b80962c21 (patch) | |
tree | 7e878e73c37c93703ddbd14d7cd1dcd83836c380 /db | |
parent | 980ffa201e1bc3171faf08705cd5d2078483b63f (diff) | |
parent | 62ae61ed96005c42d3de597a0c8b17f233e46f2e (diff) |
Merge branch 'jej-lint-scripts-and-config' into 'master'
Syntax linting for init scripts
Closes #27787
See merge request !9054
Diffstat (limited to 'db')
0 files changed, 0 insertions, 0 deletions