summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2016-07-27 08:08:50 +0200
committerDavid Kalnischkies <david@kalnischkies.de>2016-07-27 09:23:18 +0200
commitb9c20219dc17db1d29eaf297263a4b008bd1b90b (patch)
tree2003694acb29fd8dc0595ba9d65414cf72d572df /.gitignore
parent6e71ec6fcdcaa926c98fa58cd4af38e42556df15 (diff)
use proper warning for automatic pipeline disable
Also fixes message itself to mention the correct option name as noticed in #832113.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions