mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
Protected member should not be highlighted as a warning if it resolves to .pyi file. We assume that everything in .pyi file is a public API. GitOrigin-RevId: 60b01e5df9979f6e58e60056aceb74bef9db72dc