mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-09 13:43:29 +07:00
GitOrigin-RevId: 22a46c15d8900d8a31514846755a013f6a67ad42
3 lines
251 B
Java
3 lines
251 B
Java
// "Merge duplicate attributes" "true-preview"
|
|
@SuppressWarnings(/*1*/value/*2*/ = /*3*/"a"/*4*/,/*5*/value/*6*/ = /*7*/"b"/*8*/,/*9*/value/*10*/ = /*11*/{/*12*/"c"/*13*/,/*14*/"d"/*15*/, /*16*/<caret>}/*17*/, value = {/*18*/"e"/*19*/})
|
|
class Main { } |