From d4e4b177f5aac4dc12673bdef2d98eaa924ab5de Mon Sep 17 00:00:00 2001
From: Oliver Kopp <kopp.dev@gmail.com>
Date: Mon, 9 Sep 2024 17:59:16 +0200
Subject: [PATCH] Fix empty line

---
 .../java/org/jabref/gui/preferences/JabRefGuiPreferences.java    | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/java/org/jabref/gui/preferences/JabRefGuiPreferences.java b/src/main/java/org/jabref/gui/preferences/JabRefGuiPreferences.java
index f018e137f15..2060f2504b9 100644
--- a/src/main/java/org/jabref/gui/preferences/JabRefGuiPreferences.java
+++ b/src/main/java/org/jabref/gui/preferences/JabRefGuiPreferences.java
@@ -371,7 +371,6 @@ private void storeFileHistory(FileHistory history) {
     }
     // endregion
 
-
     @Override
     public WorkspacePreferences getWorkspacePreferences() {
         if (workspacePreferences != null) {