diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-07-12 12:06:59 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2023-07-12 14:58:29 +0000 |
| commit | 189e93f224aa365d476b65dc5693774254b20d8a (patch) | |
| tree | 6505435b51f241026fc0680c3b792112e9372ae2 /.github | |
| parent | 73162bc03a311edc88ae7ae64fcdd82334aa388e (diff) | |
tools/docker: merge big-env into env
There's not much sense to keep both.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions