xeals af57ecdd22 jetbrains: add update script wrapper ... The main script only does a single program, and requires being fed the name. This is a wrapper to get those names.		2021-01-26 19:35:45 +11:00
..
idea-generated.nix	jetbrains: include small set of generated IDEA plugins	2021-01-25 15:27:16 +11:00
idea-plugins.nix	jetbrains: include small set of generated IDEA plugins	2021-01-25 15:27:16 +11:00
update-jetbrains	jetbrains: add update script wrapper	2021-01-26 19:35:45 +11:00
updater-jetbrains	jetbrains: move to auto-generated plugins	2021-01-25 15:27:16 +11:00
updater.nix	jetbrains: add update script wrapper	2021-01-26 19:35:45 +11:00
wrapper.nix	jetbrains: move to auto-generated plugins	2021-01-25 15:27:16 +11:00