mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
3 lines
357 B
HTML
3 lines
357 B
HTML
<html><head><base href="placeholder"> <style type="text/css"> #error { background-color: #eeeeee; margin-bottom: 10px; } p { margin: 5px 0; } </style></head><body><PRE>class <b>Pattern</b>
|
|
extends <a href="psi_element://java.lang.Object"><code>Object</code></a></PRE>
|
|
\W \n</body></html> |