mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 20:54:49 +07:00
Rustam Vishnyakovandintellij-monorepo-bot
123242c4b2
GitOrigin-RevId: fd52ace3d7a32ecd02c2c5ab90e077967604c15e
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> |