lampepfl/dotty — pull request #189 by DarkDimius (2014-10-13 08:33:27+00:00)
Title: constructors & getters-setters

#187