Performance improvements for GUI start up#5423
Merged
tobiasdiez merged 8 commits intoJabRef:masterfrom Brainsucker92:fix_issue_5362Oct 13, 2019
+51-54
Commits
Commits on Oct 12, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
