mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 10:20:15 +07:00
3 lines
122 B
Java
3 lines
122 B
Java
// "Merge duplicate attributes" "true"
|
|
@SuppressWarnings(value={"a",}, value={"b", }<caret>, value={"c", })
|
|
class Main { } |