mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-30 04:45:20 +07:00
We won't need to have the 'jetbrains-annotations-java5' library in the monorepo after migrating all modules to Java 8 (IJPL-160046). Also, it makes sense to test the behavior for the modern variant of the annotations anyway. IJ-MR-172675 GitOrigin-RevId: c263316db155756cb07c6d439d9f575dfdb096a6