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
f1b6850e86dee22f8be48e70cdd9ea2c9db0ca06
openide/platform/indexing-api
History
Daniil Ovchinnikov 7e3390a939 IJPL-150347 treat @NonExtendable classes as effectively final 
GitOrigin-RevId: 273fb2a330cb67183be538890ae5c2c53aa9acf8
2024-07-08 23:18:28 +00:00
..
resources
…
src/com/intellij
…
api-dump.txt
IJPL-150347 treat @NonExtendable classes as effectively final
2024-07-08 23:18:28 +00:00
intellij.platform.indexing.iml
…