Robert Helgesson 8dccc9b699 eclipse-plugin-checkstyle: 7.3.0 -> 8.0.0		2017-07-18 20:20:49 +02:00
..
build-eclipse.nix	rename webkitgtk24x -> webkitgtk24x-gtk3; webkitgtk2 -> webkitgtk24x-gtk2	2017-05-26 13:43:25 +00:00
default.nix	eclipse-modeling: 4.6 -> 4.7	2017-07-10 11:45:29 +02:00
plugins.nix	eclipse-plugin-checkstyle: 7.3.0 -> 8.0.0	2017-07-18 20:20:49 +02:00