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-03-22 15:19:59 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
4953b7542bfbf431c3f3666f8ea12007e225d69a
openide
/
plugins
/
coverage-common
History
Gregory.Shrago
c96ded4cdc
migrate
getData
to
uiDataSnapshot
: plugins
...
GitOrigin-RevId: ce5459169f986f82b4a1bc6241d028ce3027fb7c
2024-08-02 01:17:08 +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] Update git filter name
2024-07-09 17:39:14 +00:00
src/com
/intellij
migrate
getData
to
uiDataSnapshot
: plugins
2024-08-02 01:17:08 +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
migrate
getData
to
uiDataSnapshot
: plugins
2024-08-02 01:17:08 +00:00
exposed-third-party-api.txt
…
intellij.platform.coverage.iml
[coverage] IJPL-156066 Extract coverage-common from core (extract agent lib as module)
2024-06-07 19:00:04 +00:00