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