Edmund Wu 7ce6836e95 jetbrains.idea-ultimate: 2018.2.2 -> 2018.2.4		2018-09-24 16:35:17 +02:00
..
common.nix	reewide: Purge all uses stdenv.system and top-level system	2018-08-30 17:20:32 -04:00
default.nix	jetbrains.idea-ultimate: 2018.2.2 -> 2018.2.4	2018-09-24 16:35:17 +02:00
update.pl	jetbrains: update.pl use channel name	2018-06-18 11:36:38 +03:00