Dominik Ritter abe17e7422 jetbrains.plugins: update		2023-07-28 10:39:02 +02:00
..
plugins	jetbrains.plugins: update	2023-07-28 10:39:02 +02:00
darwin.nix	jetbrains: add plugin support	2023-06-26 12:36:29 +01:00
default.nix	jetbrains.goland: fix build with plugins	2023-07-20 15:00:57 +01:00
JetbrainsRemoteDev.patch	jetbrains: fix remote dev server for IDEs	2023-07-16 16:11:47 +01:00
linux.nix	jetbrains: fix remote dev server for IDEs	2023-07-16 16:11:47 +01:00
update_ides.py	jetbrains.plugins: Update plugins when IDEs are being updated	2023-07-11 23:25:04 +02:00
versions.json	jetbrains: 2023.1.2 -> 2023.2	2023-07-27 20:25:11 +02:00