Dominik Ritter 50dc54de04 jetbrains.plugins: update		2023-08-12 23:18:04 +02:00
..
plugins	jetbrains.plugins: update	2023-08-12 23:18:04 +02:00
darwin.nix	jetbrains: add plugin support	2023-06-26 12:36:29 +01:00
default.nix	jetbrains: 2023.1.4 -> 2023.2	2023-08-12 23:15:56 +02: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.4 -> 2023.2	2023-08-12 23:15:56 +02:00