diff options
| author | Clement Ho <clemmakesapps@gmail.com> | 2017-09-09 02:11:55 +0300 |
|---|---|---|
| committer | Clement Ho <clemmakesapps@gmail.com> | 2017-09-09 02:11:55 +0300 |
| commit | 5d952f756bcf0355fc5d86d819dfc6913c0ae351 (patch) | |
| tree | fa018162ec1ac0ce92ca3b8dafdb8fe4963d4b6a /doc/ci/runners/README.md | |
| parent | efb3a536053b48f3b6f86e9dc936427e7cba4f2f (diff) | |
| parent | a88ef1a01131d32b61be3c0895cd592c16f49178 (diff) | |
Merge branch 'remove-bootlint' into 'master'
Remove bootlint which takes 1 second of render time on development
Closes #37657
See merge request !14167
Diffstat (limited to 'doc/ci/runners/README.md')
0 files changed, 0 insertions, 0 deletions