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