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
398ebce1d5f11db1b97fe1a37133cfda46073d45
openide/platform/core-ui
History
Daniil Ovchinnikov 7e3390a939 IJPL-150347 treat @NonExtendable classes as effectively final 
GitOrigin-RevId: 273fb2a330cb67183be538890ae5c2c53aa9acf8
2024-07-08 23:18:28 +00:00
..
src
improve documentation for UiDataProvider interfaces
2024-06-22 20:48:06 +00:00
api-dump.txt
IJPL-150347 treat @NonExtendable classes as effectively final
2024-07-08 23:18:28 +00:00
exposed-third-party-api.txt
…
intellij.platform.core.ui.iml
…