MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-09 08:09:39 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
243
openide/plugins/coverage-common/resources/messages
History
Maksim Zuev c0bc2d78a8 [coverage] Clean up HideCoverageInfoAction 
GitOrigin-RevId: 37352acc2652f3bd6198b55f9eb5aedc6a56bc11
2024-09-10 10:22:09 +00:00
..
CoverageBundle.properties
[coverage] Clean up HideCoverageInfoAction
2024-09-10 10:22:09 +00:00