mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 18:13:59 +07:00
GitOrigin-RevId: 7c1d9fd387a4bc7fc52121e71f56122d6ff05d67
5 lines
71 B
Java
5 lines
71 B
Java
/**
|
|
* {@snippet class=Region region=malformed}
|
|
*/
|
|
class Malformed {
|
|
} |