diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-23 11:40:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-23 11:40:27 +0100 |
commit | e0439545c598478a9c619ae704d7859f866e0664 (patch) | |
tree | a0d16e9b11822b351fcf7d1f5d3d610710f3501c /project | |
parent | 2c3448164162b7b71b3f3634333425b58b2f3c18 (diff) | |
parent | 6b25835cc055f5e03f8ba22cf07e3877c9e93622 (diff) | |
download | dotty-e0439545c598478a9c619ae704d7859f866e0664.tar.gz dotty-e0439545c598478a9c619ae704d7859f866e0664.tar.bz2 dotty-e0439545c598478a9c619ae704d7859f866e0664.zip |
Merge pull request #1736 from felixmulder/topic/docker-to-lampepfl
Change docker image to use lampepfl one
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions