mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-22 00:19:11 +07:00
they can change either the current file or external annotations file so they should be invoked outside write action all callees (e.g. suppressions) should honor that