Pedro Pinto c62490d410 Moved docker ptr

2018-04-06 19:34:40 +00:00

..

linux @ 95918627ce

Moved docker ptr

2018-04-06 19:34:40 +00:00

windows @ de7d40c09d

Moved docker subrepo, probably bogus

2017-09-01 10:58:39 -04:00