Merge pull request #18 from TataTawa/patch-1

Update GUIManual.java
This commit is contained in:
Martin Robertz authored and GitHub committed 2020-08-11 18:31:38 +02:00
commit 5dd720fbab
1 file changed
+1 -1
@@ -319,8 +319,8 @@ public class GUIManual extends GUIScrollingBase implements GuiYesNoCallback {
is.close();
os.close();
JsonReader reader = new JsonReader(new InputStreamReader(new FileInputStream(manualJSON),"utf-8"));
JsonReader reader = new JsonReader(new FileReader(manualJSON));
List<String> images;
List<String> content;