Fix empty line

JabRef · Sep 9, 2024 · d4e4b17 · d4e4b17
1 parent c1ab2bf
commit d4e4b17
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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) {