xeals d851231ee9 jetbrains: update IDEA for generated plugins		2020-10-19 19:13:12 +11:00
..
common-plugins.nix	jetbrains: update IDEA for generated plugins	2020-10-19 19:13:12 +11:00
idea-plugins.nix	jetbrains: update IDEA for generated plugins	2020-10-19 19:13:12 +11:00
manual-common-packages.nix	jetbrains: rework following the Emacs builder	2020-10-18 17:47:48 +11:00
manual-idea-packages.nix	jetbrains: rework following the Emacs builder	2020-10-18 17:47:48 +11:00
wrapper.nix	jetbrains: update IDEA for generated plugins	2020-10-19 19:13:12 +11:00