MDS/openide
1
0
Fork 0
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
4e5c75966d2ffb60f175036f179eb91aeecb4f31
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