Skip to content

Amend the reference to JabRefReferences initialization#5487

Merged
tobiasdiez merged 1 commit intoJabRef:masterfrom cmoralesmx:globals_JabRefPreferencesOct 20, 2019

Commits

Commits on Oct 20, 2019