From ea0dc6b90de4e78c44b5deab0b944d3ab967317e Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Tue, 6 Feb 2018 16:08:21 +0100
Subject: [PATCH] Update on iconmanager for open projects
---
src/main/java/ui/util/IconManager.java | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/src/main/java/ui/util/IconManager.java b/src/main/java/ui/util/IconManager.java
index e8d971e2af..4cc671e42b 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";
--
GitLab