mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-24 16:19:28 +07:00
The annotation may differ, depending on library used. Also, it could be a container annotation like @NullMarked or @NotNullByDefault, so let's use more neutral wording GitOrigin-RevId: cb4923f5ec3974f56ec1b6763c2405c1471bf601