Skip to content

Add linux desktop launcher#5444

Merged
tobiasdiez merged 4 commits intoJabRef:masterfrom LyzardKing:deb_settingsOct 16, 2019