MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 14:23:28 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
5c7824a82042dee016b05e9a18735bf1375fac7c
openide/java/codeserver
History
Alexey Kudravtsev 6d1f55f160 cleanup: rename file to psiFile to distinguish from VirtualFile 
GitOrigin-RevId: e718eac8ba2d2177787ae941d8525b3c154d10fc
2025-05-16 02:54:06 +00:00
..
core
get rid of deprecated method usages
2025-05-15 16:36:52 +00:00
highlighting
cleanup: rename file to psiFile to distinguish from VirtualFile
2025-05-16 02:54:06 +00:00