diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-06 13:45:51 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-06 14:17:35 +0200 |
| commit | 4618eb2da0bb479f25c3d0b33a78436971a18946 (patch) | |
| tree | d9841de439a25e61cd8091193aad4797d1ddcab3 /docs/setup.md | |
| parent | 5395017f679d83e45e9610f27f36a8a3fdc08923 (diff) | |
.travis.yml: don't install docker
We don't seem to use it.
Diffstat (limited to 'docs/setup.md')
0 files changed, 0 insertions, 0 deletions