mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
Now GlobalIndexFilter has an option to accept or reject files of particular filetype all together GitOrigin-RevId: 019d424ec015782bb1cbb4c74a2b41651ac38759
965 B
965 B