diff options
| author | Nico Huber <nico.h@gmx.de> | 2018-11-04 19:20:41 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-11-16 10:06:09 +0000 |
| commit | 9b1cbe040b1e502787d8d9576b9c8e567849d181 (patch) | |
| tree | bb08c35682b795c138d5270d6dd217b76f8d34ea /util/gitconfig | |
| parent | 9b731b5c08635580a8b8ade237bb62f4f4e6ac24 (diff) | |
util/docker: Rename _CONTAINER_VERSION => _IMAGE_TAG
This is so confusing, let's name it what it is ;)
Change-Id: I6f87e2f6912d886e241e03998fb4136fb28bc7b1
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/29458
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/gitconfig')
0 files changed, 0 insertions, 0 deletions