aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2018-07-30 13:40:09 +0200
committerDaniel Stenberg <daniel@haxx.se>2018-07-30 17:56:01 +0200
commitfe60cbfbbfc2aa5a2bd46165a7304e3031041fd0 (patch)
treea78c7b708e1774ef5831eeb6e685676f00dd77db /.gitignore
parent089833147420e1b6018c79d1929a8284b1b8aa8a (diff)
travis: run a 'make checksrc' too
... to make sure the examples are all checked. Closes #2811
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions