mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
- fix comments - BasicJavaTokenSet is renamed to ParentAwareTokenSet and move to core - method `toTokenSet` is deleted, because it was the reason a lot of mistakes GitOrigin-RevId: b776be4f067d99e4a531d3622dfa9b9e8078c543