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