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
60527dd48dc04583cc4285d261a7461ba7ed69f2
openide/platform/core-ui/src
History
Nikolay Chashnikov 4f8bcd9161 [platform] API cleanup: remove unused deprecated API (IJPL-156972) 
GitOrigin-RevId: 183acaca734cbf2e053be244cd4292acc8d24991
2024-10-04 17:48:37 +00:00
..
ide
…
openapi
…
ui
…
util
…