mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 06:01:00 +07:00
GitOrigin-RevId: 22a46c15d8900d8a31514846755a013f6a67ad42
3 lines
129 B
Java
3 lines
129 B
Java
// "Merge duplicate attributes" "true-preview"
|
|
@SuppressWarnings(value = {"a"}, value = "b"<caret>, value = {"c"})
|
|
class Main { } |