mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
Now GlobalIndexFilter has an option to accept or reject files of particular filetype all together GitOrigin-RevId: 019d424ec015782bb1cbb4c74a2b41651ac38759