diff options
| author | Patrick Georgi <patrick@georgi.software> | 2018-06-06 17:04:55 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-06-07 15:08:58 +0000 |
| commit | aefbc46a05bd6698bdcf0b18c0145ff70d6cd45b (patch) | |
| tree | 8b904bca7081e7d773ddd5ebbdfddf812850ad3d /util/docker/doc.coreboot.org/Dockerfile | |
| parent | 6e25feff70298646fe4dd070c35ec7f8f31b611c (diff) | |
util/docker/docs.coreboot.org: reduce container size
We don't need the .deb files in the image forever
Change-Id: I67a56faf8f9466e5162f7662708a5abb2971d2f9
Signed-off-by: Patrick Georgi <patrick@georgi.software>
Reviewed-on: https://review.coreboot.org/26895
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Diffstat (limited to 'util/docker/doc.coreboot.org/Dockerfile')
0 files changed, 0 insertions, 0 deletions