Added Dockerfile for the IDE
Authored by: ingo <> 2019-03-06
Committed by: ingo 2019-03-06
Parent: [8c5384]
Child: [18db23]