Files
openide/json
Yann Cébron 4504284ed9 [various] plugin descriptors: suppress "Invalid extension point name" warnings
we can't change existing names in a backwards-compatible way

GitOrigin-RevId: 46f8980842d90dd1aae3ce5a9a32dfd4afc30735
2024-07-03 20:24:32 +00:00
..