Robert Helgesson 24a5d47883 eclipse.plugins: unpack plugins when required ... Some plugin bundles must be unpacked when used in Eclipse. With this change the plugin manifest is checked for the setting indicating that unpacking should happen.		2015-08-10 23:12:03 +02:00
..
default.nix	eclipses: do not recurse into plugins.nix	2015-08-10 23:12:03 +02:00
plugins.nix	eclipse.plugins: unpack plugins when required	2015-08-10 23:12:03 +02:00