mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
- do not dereference virtual file pointers on edt - drop startup activity - re-enable configuration check on facet validation GitOrigin-RevId: 80fe4e7edc69cdf95c349d47368ea3cba21fe223