MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-17 07:20:53 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
37ac8e237aae9297cb48f0772dd5b72abf49bd10
openide/plugins/coverage/resources/messages
History
Maksim Zuev 7d228b432d [coverage] Clean up messages 
GitOrigin-RevId: c0b2d940d5fbbd84dc648f31b611dc3326445bd2
2024-02-21 16:51:28 +00:00
..
JavaCoverageBundle.properties
[coverage] Clean up messages
2024-02-21 16:51:28 +00:00