Nikolay Chashnikov 24628e108d [platform] API cleanup: mark for removal API which was deprecated in 2023.3 or earlier (IJPL-503) ...

GitOrigin-RevId: b7f3b8a200bca2f54496ab03f5e1414e30ad0ed8

2024-06-20 09:26:41 +00:00

..

intellij.platform.coverage.agent

…

resources

[coverage] IDEA-353814 Update gotit text

2024-06-18 12:19:22 +00:00

src/com/intellij

[platform] API cleanup: mark for removal API which was deprecated in 2023.3 or earlier (IJPL-503)

2024-06-20 09:26:41 +00:00

testSrc/com/intellij/coverage/view

[coverage] IDEA-353814 Update the filter element's persistent name to reset the filter

2024-06-18 12:19:22 +00:00

api-dump.txt

…

exposed-third-party-api.txt

…

intellij.platform.coverage.iml

…