Joachim Schiele 4bf8c805b1 Merge pull request #6877 from qknight/eclipse_scala ... eclipse-scala: added Scala IDE		2015-04-13 10:29:07 +02:00
..
default.nix	Merge pull request #6877 from qknight/eclipse_scala	2015-04-13 10:29:07 +02:00