MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
aa1fde421ac3926a7aa06eceddf3fced0315a7d8
openide/plugins/coverage/resources/messages
T
History
Dmitry Avdeev e4ddc7eb5d IDEA-236390 Implement new UI for editing run configuration settings 
separate name for code coverage group in menu

GitOrigin-RevId: 2210528e096a09c72629e8ce0e6191ce4295692b
2020-06-01 17:48:27 +03:00
..
JavaCoverageBundle.properties
IDEA-236390 Implement new UI for editing run configuration settings
2020-06-01 17:48:27 +03:00