mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-25 18:25:37 +07:00
GitOrigin-RevId: 1545b79fdca4888f4b94f47f22703fd37694fa7a
1 line
373 B
HTML
1 line
373 B
HTML
<html><head><base href="placeholder"></head><body><div class='definition'><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><table class='sections'></table> |