diff options
Diffstat (limited to 'gcov/org.eclipse.linuxtools.gcov.core/plugin.properties')
-rw-r--r-- | gcov/org.eclipse.linuxtools.gcov.core/plugin.properties | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcov/org.eclipse.linuxtools.gcov.core/plugin.properties b/gcov/org.eclipse.linuxtools.gcov.core/plugin.properties index b8ee9ba2aa..0b434138b0 100644 --- a/gcov/org.eclipse.linuxtools.gcov.core/plugin.properties +++ b/gcov/org.eclipse.linuxtools.gcov.core/plugin.properties @@ -14,3 +14,6 @@ gcovEditor = Gcov Editor gcov = gcov gcovDescription = Gcov view displays the profiling information contained in gcda/gcno files colorprefpage = Gcov +thoroughCoverage = Thorough Coverage +coverage = Coverage +noCoverage = No Coverage |