mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 12:10:37 +07:00
Mikhail Pyltsinandintellij-monorepo-bot
7a31ef1f7d
GitOrigin-RevId: 11bc0dcd62d29f94270781ea5a79f4665575d0a9
12 lines
366 B
XML
12 lines
366 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<problems>
|
|
<problem>
|
|
<file>Test.java</file>
|
|
<line>6</line>
|
|
<highlighted_element>t3</highlighted_element>
|
|
<problem_class id="unused" severity="WARNING" attribute_key="NOT_USED_ELEMENT_ATTRIBUTES">unused declaration</problem_class>
|
|
<description>Method is never used.</description>
|
|
</problem>
|
|
</problems>
|
|
|