From 77e73d334f5ec83862dbcb95cc48160be27413c8 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Thu, 28 Feb 2019 14:23:47 +0100
Subject: [PATCH] correct bug
---
src/main/java/help/HelpManager.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/java/help/HelpManager.java b/src/main/java/help/HelpManager.java
index c5175f3180..9795ab28a8 100644
--- a/src/main/java/help/HelpManager.java
+++ b/src/main/java/help/HelpManager.java
@@ -74,5 +74,7 @@ public class HelpManager {
// Returns false in case of failure
public boolean loadEntries() {
helpLoaded = true;
+
+ return true;
}
}
--
GitLab