mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 15:15:45 +07:00
don't know why this flag for skipping additionalProperties was needed, it only breaks some features but adds no value
1 line
37 B
HTML
1 line
37 B
HTML
<b>enabled</b>: boolean<br/>some text |