Johann Kellerman 5a30b0507d Add git to the development Dockerfile (#20276) ... * git_on_dev * feedback		2019-01-22 08:21:43 +01:00
..
Docker	Add git to the development Dockerfile (#20276)	2019-01-22 08:21:43 +01:00
vagrant	Update Vagrant Windows support (#17205)	2018-10-13 23:02:00 +02:00