aboutsummaryrefslogtreecommitdiff
path: root/docs/cmdline-opts/header.d
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 /docs/cmdline-opts/header.d
parent089833147420e1b6018c79d1929a8284b1b8aa8a (diff)
travis: run a 'make checksrc' too
... to make sure the examples are all checked. Closes #2811
Diffstat (limited to 'docs/cmdline-opts/header.d')
0 files changed, 0 insertions, 0 deletions