Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-02-04 | also patch rustrover's slightly different remote-dev plugin launcher | Jeff Zellner | 1 | -3/+3 |
2024-02-04 | fix jetbrains-remote-dev plugin patch | Jeff Zellner | 1 | -6/+6 |
2024-01-17 | jetbrains.{idea,pycharm}-community-src: 2023.2.2 -> 2023.3.2 | 夜坂雅 | 4 | -51/+55 |
2023-12-03 | jetbrains.*: overhaul, add source builds for pycharm and idea | GenericNerdyUsername | 5 | -0/+261 |