plugins
|
jetbrains.plugins: update
|
2023-09-13 21:09:35 +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 |
linux.nix
|
jetbrains: fix remote dev server for IDEs
|
2023-07-16 16:11:47 +01:00 |
update_ides.py
|
jetbrains: Commit in one line
|
2023-08-13 00:33:23 +02:00 |
versions.json
|
jetbrains: 2023.2.1 -> 2023.2.2
|
2023-09-13 21:08:34 +02:00 |