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
5f38ba337ce9203bda03808f1253ccec5d722b8f
openide/plugins/editorconfig/src
History
Nikolay Chashnikov 3e78ec9042 [plugins] API cleanup: mark deprecated unused API for removal (IJPL-156972) 
GitOrigin-RevId: f1b2c24f8eac7cdbc6024323e0849507c70450ec
2024-10-10 23:55:42 +00:00
..
icons
…
org/editorconfig
[plugins] API cleanup: mark deprecated unused API for removal (IJPL-156972)
2024-10-10 23:55:42 +00:00