mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 19:28:58 +07:00
GitOrigin-RevId: 7546d71095462b358171b12450f3f244f2acb5ba
1 line
297 B
HTML
1 line
297 B
HTML
<html><head><base href="placeholder"></head><body><div class="definition"><pre><span style="color:#000080;font-weight:bold;">int</span> <span style="color:#000000;">i</span></pre></div><hr><div class="content"><p><code><span style="color:#000000;">i</span></code> – input</p></div></body></html> |