Skip to content

Follow up #2428#2438

Merged
tobiasdiez merged 4 commits intoJabRef:masterfrom tobiasdiez:arxivJan 15, 2017

Commits

Commits on Dec 28, 2016

Commits on Jan 15, 2017