mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
- Move .pyi filetype definition to python-core-common.xml as it is registered via CoreFileTypeRegistry - Move referencesSearch to Indexing.xml GitOrigin-RevId: 1e8e38d0c371f0042ce517391da10bbc8bbcc886