GenericNerdyUsername 24833f08a0 jetbrains.plugins: add vscode keymap		2023-07-20 15:00:56 +01:00
..
plugins	jetbrains.plugins: add vscode keymap	2023-07-20 15:00:56 +01:00
darwin.nix	jetbrains: add plugin support	2023-06-26 12:36:29 +01:00
default.nix	jetbrains.dataspell: format	2023-07-20 15:00:56 +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.3 -> 2023.1.5	2023-07-19 12:55:45 +02:00