mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-01 09:04:15 +07:00
GitOrigin-RevId: 3aae5c738d48c38144f6a78c36738121831ae5a5
5 lines
106 B
Java
5 lines
106 B
Java
interface I {
|
|
static void foo () {
|
|
<selection>System.out.println("hello");</selection>
|
|
}
|
|
} |