MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
bdf9fbcfd5901ccf419c37528ffe51574da2693b
openide/platform/remote-servers
History
Nikolay Chashnikov 9385c980e0 [platform] API cleanup: remove unused deprecated API (IDEA-322162) 
GitOrigin-RevId: 1faced6abc85cc859111ee0db72b14522477aa7a
2023-09-29 09:21:31 +00:00
..
agent-rt
…
api
…
impl
[platform] API cleanup: remove unused deprecated API (IDEA-322162)
2023-09-29 09:21:31 +00:00
target-integration-tests
…