mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 14:37:46 +07:00
#IDEA-358874 Fixed GitOrigin-RevId: e03874f588e31c106d3a25518c05e0850b3fcd24
13 lines
283 B
Java
13 lines
283 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() {}
|
|
} |