Skip to content

Fix double-click onto file in file list to just open the file#7523

Merged
tobiasdiez merged 2 commits intoJabRef:masterfrom mohit038-zz:fix-for-issue-7465Mar 13, 2021

Commits

Commits on Mar 13, 2021