mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +07:00
... and amending/replacing them with extension-based filters where possible GitOrigin-RevId: 422e4f42ac96c295a707eae76ef25686753fc6ce