Michaël Arnauts 799ae894a8 Remove docker prereqs scripts that only install a package. Add informational message for this. (#14661)		2018-05-28 10:17:01 -04:00
..
Docker	Remove docker prereqs scripts that only install a package. Add informational message for this. (#14661)	2018-05-28 10:17:01 -04:00
vagrant	Vagrant - sendfile python3.5 debian-stretch (#12454)	2018-02-15 21:53:10 -08:00