mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 10:21:05 +07:00
Option is added to disable the inspection when semantics change is possible GitOrigin-RevId: 97e5576582b65c3ba0cb3122d6274a37e271386d