mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-05 17:47:53 +07:00
Mathiasandintellij-monorepo-bot
ffabbafe0b
This commit is separated to reduce the noise during review. GitOrigin-RevId: 829358f891896dc628446727d2e335eff5262819
4 lines
585 B
HTML
4 lines
585 B
HTML
<html><head><base href="placeholder"></head><body><div class='definition'><pre><span style="color:#000080;font-weight:bold;">record</span> <span style="color:#000000;">Test</span>
|
|
<span style="color:#000080;font-weight:bold;">extends</span> <a href="psi_element://java.lang.Record"><code><span style="color:#000000;">Record</span></code></a></pre></div><div class='content'>
|
|
main comment
|
|
</div><table class='sections'><p><tr><td valign='top' class='section'><p>Params:</td><td valign='top'><code><span style="color:#000000;">test</span></code> – simple description</td></table> |