mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
Leonid Shalupovandintellij-monorepo-bot
40795fe787
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
6 lines
115 B
HTML
6 lines
115 B
HTML
<html>
|
|
<body>
|
|
Brings external annotations from the separate file to your code.
|
|
<!-- tooltip end -->
|
|
</body>
|
|
</html> |