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 /doc/benchmarking.md | |
| parent | 418ae49ee1eac2c9d6cd4ba83c036a41f1afe922 (diff) | |
travis: Rename the build stage "check_doc" to "lint"
Diffstat (limited to 'doc/benchmarking.md')
0 files changed, 0 insertions, 0 deletions