Skip to content

Removed a duplicate name (closes #5476)#5480

Merged
Siedlerchr merged 1 commit intoJabRef:masterfrom egonw:patch-2Oct 18, 2019

Commits

Commits on Oct 18, 2019