Florian Klink 8e281b6609 Merge pull request #148825 from VergeDX/jetbrains ... jetbrains: update		2021-12-17 14:20:59 +01:00
..
common.nix	Merge pull request #141142 from rhoriguchi/pkgs.jetbrains.idea-ultimate	2021-12-16 13:13:57 +01:00
default.nix	Merge pull request #148825 from VergeDX/jetbrains	2021-12-17 14:20:59 +01:00
update.pl	jetbrains: Fix update.pl script for MPS	2021-07-30 10:57:03 +02:00