Yann E. MORIN 3c24b8bd40 support/docker: use a known base distribution ... Currently, we are using debian:stable, which is subject to change with time, as new stable versions of Debian are released/updated. Use the latest tagged stable release, stretch-20171210 as of today, as the base distribution to use. This will ease reproducible builds in the future. Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Cc: Arnout Vandecappelle <arnout@mind.be> Cc: Peter Korsgaard <peter@korsgaard.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>		2018-02-04 21:57:37 +01:00
..
Dockerfile	support/docker: use a known base distribution	2018-02-04 21:57:37 +01:00