This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-04-19 04:51:24 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
0940352c6dbad7b598947ec190e13e5fc2b86d55
openide
/
plugins
/
coverage-common
History
Nikolay Chashnikov
9fd3bd41c4
[coverage] API cleanup: mark deprecated unused API for removal (IJPL-156972)
...
GitOrigin-RevId: 8558008f05c5fdfdac74e95ce86b7d4404cdda9f
2024-10-10 23:55:42 +00:00
..
intellij.platform.coverage.agent
[coverage] IJPL-156066 Extract coverage-common from core (fix agent version test)
2024-06-07 19:00:11 +00:00
resources
[coverage] Clean up HideCoverageInfoAction
2024-09-10 10:22:09 +00:00
src/com
/intellij
[coverage] API cleanup: mark deprecated unused API for removal (IJPL-156972)
2024-10-10 23:55:42 +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-experimental.txt
API dumps: re-generate dumps
2024-10-04 21:20:21 +00:00
api-dump.txt
API dumps: re-generate dumps
2024-10-04 21:20:21 +00:00
exposed-third-party-api.txt
IJPL-797
intellij.platform.coverage
review internal API
2024-05-17 19:24:28 +00:00
intellij.platform.coverage.iml
IJ-CR-146078 extract intellij.platform.bootstrap
2024-10-05 22:01:55 +00:00