mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 08:00:18 +07:00
Java highlighting is turned off when replace/highlight/link are used GitOrigin-RevId: eb63ab475dadfa4b3f1e26478ddef18b4807955f
5 lines
69 B
Java
5 lines
69 B
Java
/**
|
|
* {@snippet class=Region region=noregion}
|
|
*/
|
|
class NoRegion {
|
|
} |