Peter Simons d4fa3e2e54 Rename 'idea_community_1313' attribute to 'idea_community', i.e. drop the ... version number so that it's possible to refer to some "default version of the package" without knowing what version number that actually is. The same applies to idea_ultimate_1313.		2014-07-09 16:10:50 +02:00
..
default.nix	Rename 'idea_community_1313' attribute to 'idea_community', i.e. drop the	2014-07-09 16:10:50 +02:00