mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 17:52:27 +07:00
GitOrigin-RevId: 9aac8ee4ed1ebf2a29de18a238825fafb1ab88f9
1 line
346 B
HTML
1 line
346 B
HTML
<html><head><base href="placeholder"></head><body><div class='definition-only'><pre><a href="psi_element://A"><code>A</code></a><<a href="psi_element://java.lang.String"><code>String</code></a>> <b>a = new <a href="psi_element://A"><code>A</code></a><<a href="psi_element://java.lang.String"><code>String</code></a>>()</b></pre></div> |