diff options
author | practicalswift <practicalswift@users.noreply.github.com> | 2018-05-12 21:43:30 +0200 |
---|---|---|
committer | practicalswift <practicalswift@users.noreply.github.com> | 2018-05-12 21:44:05 +0200 |
commit | 3d8ae74657b77eb13d568d7e743212cdafc8c01c (patch) | |
tree | 6ddcca99af780606127bbb98239bf7504fb87fff /src/init.cpp | |
parent | 418ae49ee1eac2c9d6cd4ba83c036a41f1afe922 (diff) |
travis: Rename the build stage "check_doc" to "lint"
Diffstat (limited to 'src/init.cpp')
0 files changed, 0 insertions, 0 deletions