diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-09-12 14:45:10 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-09-12 16:26:58 +0200 |
| commit | 9296c80bbce49adf175bb56d59ebf614b54ca190 (patch) | |
| tree | af0bafef561f43ba34768de137e3b919a004c76d /docs/linux/kernel_configs.md | |
| parent | ce441f065b6eebb166bb006dfd28ea0c6b730384 (diff) | |
tools/docker: mirror images on github
Some users don't have access to the gcr.io registry.
Mirror images on github as well.
Diffstat (limited to 'docs/linux/kernel_configs.md')
0 files changed, 0 insertions, 0 deletions