mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
- rename BasicJavaDocElementType with BASIC_, to distinct them from usual ones GitOrigin-RevId: 4f33eb1ddb49412501bd21a9c7cf53a1ea591521