Fixes problems with managing external file types (issue 5846)#5894
Merged
tobiasdiez merged 3 commits intoJabRef:master from systemoperator:fix-for-issue-5846Feb 2, 2020
+19-14
Commits
Commits on Jan 31, 2020
- committed
Commits on Feb 1, 2020
- committed