mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 17:03:12 +07:00
Merge-request: IJ-MR-115680 Merged-by: Ekaterina Berezhko <berezhko.ei@gmail.com> GitOrigin-RevId: 8ce80eb93f0c35fce99fd19fac28cf26ebac23f4
6 lines
434 B
HTML
6 lines
434 B
HTML
<body md-src-pos="0..15"><pre class="code-fence" md-src-pos="0..15"><div class="code-fence-highlighter-copy-button" data-fence-content="YWFhCn5+fg==">
|
|
<img class="code-fence-highlighter-copy-button-icon">
|
|
<span class="tooltiptext">Copy to clipboard</span>
|
|
</div><code md-src-pos="0..15"><span md-src-pos="0..4"/><span md-src-pos="4..8">aaa
|
|
</span><span md-src-pos="8..12">~~~
|
|
</span><span md-src-pos="12..15"/></code></pre></body> |