You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Amend the reference to JabRefReferences initialization (#5487)
The former filename does not exist, the updated file being referred does contain the initialization of JabRefPreferences.
If the previous name is kept, new contributors could potentially be confused when looking for the file.
0 commit comments