mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 21:52:48 +07:00
GitOrigin-RevId: 0c6b8c8ca44e90bdc80764b5fa1d8f2656762100
16 lines
266 B
Java
16 lines
266 B
Java
// "_ignore" "true"
|
|
|
|
class Main {
|
|
/**
|
|
* A simple program.
|
|
* {@snippet lang = Properties:
|
|
* local.timezone=PST
|
|
* # @highlight regex="[0-9]+" :
|
|
* local.zip=94123
|
|
* local.area-code=415
|
|
* <caret>
|
|
* }
|
|
*/
|
|
void f() {}
|
|
}
|