mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
by the list of suggested names when selecting the "Specify type explicitly" setting ^KTIJ-21135 GitOrigin-RevId: 11d27b6eed6ffe90a0a4a9afcdbb21416f981d24