This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-02-05 08:06:56 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
932f2d438e1caa7a0e48bdd86c110d960bc723de
openide
/
plugins
/
github
History
Alexander Lobas
932f2d438e
Swap icon path parameters: move expUI path to the first place
...
GitOrigin-RevId: 74cf09fb454c89b676be259cdd7437a81ac4c067
2024-07-25 15:12:07 +00:00
..
community
[github] allow patch updates to the bundled github plugin
2024-06-24 17:40:51 +00:00
gen
Swap icon path parameters: move expUI path to the first place
2024-07-25 15:12:07 +00:00
resources
[collab/gitlab/github/space] make a global action for adding a review comment in the editor
2024-07-06 00:18:25 +00:00
src/org/jetbrains/plugins
/github
[github] fix PR diff files validity check for renamed projects
2024-07-08 12:40:55 +00:00
test/org/jetbrains/plugins
/github
[github] Process commit message bodies ourselves
2024-06-17 11:23:20 +00:00
.graphqlconfig
…
intellij.vcs.github.iml
[github] convert PR details data provider and service to coroutines
2024-04-23 00:42:32 +00:00