mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 14:37:46 +07:00
GitOrigin-RevId: 0c6b8c8ca44e90bdc80764b5fa1d8f2656762100
14 lines
290 B
Java
14 lines
290 B
Java
// "_ignore" "true"
|
|
|
|
|
|
class Main {
|
|
/// Here are some example properties:
|
|
/// {@snippet lang = Properties:
|
|
/// local.timezone=PST
|
|
/// # @highlight regex="[0-9]+" :
|
|
/// local.zip=94123
|
|
/// local.area-code=415
|
|
/// <caret>
|
|
/// }
|
|
void foo() {}
|
|
} |