mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
It isn't possible to specify version where removal is planned via Deprecated annotation (IJ-CR-20718). GitOrigin-RevId: 2f524b26c7d5d41ad0c251e52cd9ecead1fde54b