mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-07-29 02:25:59 +07:00
Conflicts: plugins/gettext/src/com/jetbrains/gettext/highlighter/GetTextHighlighterData.java
Conflicts: plugins/gettext/src/com/jetbrains/gettext/highlighter/GetTextHighlighterData.java