mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
Since builder could cache something related to the current scope (e.g. token type) GitOrigin-RevId: ffabda058dac874bd9187fa27d30b823f782fcf6