mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 15:35:40 +07:00
GitOrigin-RevId: 1051943ab071973c6ff462eb2270b2bc42c6393a
3 lines
58 B
Java
3 lines
58 B
Java
// "Seal class" "false"
|
|
|
|
public @interface An<caret>no { } |