diff options
Diffstat (limited to 'plugins/org.eclipse.emf.compare.edit/plugin.properties')
-rw-r--r-- | plugins/org.eclipse.emf.compare.edit/plugin.properties | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/org.eclipse.emf.compare.edit/plugin.properties b/plugins/org.eclipse.emf.compare.edit/plugin.properties index ed6adc31b..c44348a01 100644 --- a/plugins/org.eclipse.emf.compare.edit/plugin.properties +++ b/plugins/org.eclipse.emf.compare.edit/plugin.properties @@ -84,3 +84,5 @@ _UI_DifferenceState_MERGED_literal = MERGED _UI_DifferenceState_DISCARDED_literal = DISCARDED _UI_Comparison_threeWay_feature = Three Way _UI_MatchResource_comparison_feature = Comparison +_UI_Diff_implies_feature = Implies +_UI_Diff_impliedBy_feature = Implied By |