Emilv2andPaulus Schoutsen 58df05a7e7 Remove obsolete comments in Dockerfile (#24748) ...

relevant lines were removed in e49b970665

2019-06-25 10:16:05 -07:00

..

Docker

Remove obsolete comments in Dockerfile (#24748)

2019-06-25 10:16:05 -07:00

vagrant

Update Vagrant Windows support (#17205)

2018-10-13 23:02:00 +02:00