mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 21:52:48 +07:00
Note that the workaround for markdown comments in JavaFoldingBuilderBase.java had to be tweaked GitOrigin-RevId: 43a24a2ef723818dd1689f6595771d24c078ac0b