mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
, to fix problems when many file-level infos with always changing descriptions are generated by one tool, e.g. when LargeFileAnnotator generates a different file-level highlighter on every typing GitOrigin-RevId: f68527d9f3767535247b3680eaa8b26892f940bf