diff --git a/src/main/java/ui/util/IconManager.java b/src/main/java/ui/util/IconManager.java index e8d971e2af905ad990e2817a1bef05b7214fab53..4cc671e42bc8678ccd4102c4c6f07947ad3fc3cc 100755 --- a/src/main/java/ui/util/IconManager.java +++ b/src/main/java/ui/util/IconManager.java @@ -475,10 +475,7 @@ public class IconManager { private static String icon1014 = "ebrddobs.gif"; private static String icon1016 = "reqref.gif"; private static String icon1018 = "reqsatisfy.gif"; - -ties can even contribute by pushing commits if they want to. - -Currently there are no changes in this merge request's source branch. Please push new commits or use a different branch. + // EBRDD private static String icon1050 = "ebrdderc.gif";