Delete PreferencesService.java.orig

JabRef · Oct 28, 2018 · 9a3f2d6 · 9a3f2d6
1 parent 1d8b3aa
commit 9a3f2d6
Showing 1 changed file with 0 additions and 48 deletions.
diff --git a/src/main/java/org/jabref/preferences/PreferencesService.java.orig b/src/main/java/org/jabref/preferences/PreferencesService.java.orig