Gabriel Ebner a8d6ad8690 idea: use openjdk8 again		2016-01-23 13:39:15 +01:00
..
common.nix	idea: use openjdk8 again	2016-01-23 13:39:15 +01:00
default.nix	idea: use openjdk8 again	2016-01-23 13:39:15 +01:00