lava-docker - Unnamed repository

Age	Commit message (Collapse)	Author	Files	Lines
2019-03-19	lava-xxx-base: do not install recommended packages	Corentin LABBE	1	-0/+2
	For limiting size of docker images, do not install recommended packages
2019-03-19	lava-xxx-base: permit to install 2019.03	Corentin LABBE	1	-5/+7
	LAVA has changed its repository location. Furthermore, it is now accessible via https which need additionnal package to use it.
2018-11-26	base-images: permit to install LAVA 2018.11	Corentin LABBE	1	-0/+2

2018-07-25	Split dockerfile in two images	Corentin LABBE	1	-0/+44
	The process of building LAVA is hard to maintain. But since we need to be able to go back in time (or just stay longer with a specific version) we need a way to keep a LAVA version. For achieving this, we build a minimal image with just LAVA and tag it with the version of LAVA inside.