mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 20:54:49 +07:00
GitOrigin-RevId: ae3db3461abcfa2578b50657ec99dc51b0bbd699
3 lines
103 B
Java
3 lines
103 B
Java
// "Merge duplicate attributes" "false"
|
|
@Deprecated(since = "1.2", since = "1.2"<caret>)
|
|
class Main { } |