Skip to content

Select push app in preferences#5024

Merged
tobiasdiez merged 30 commits intoJabRef:masterfrom calixtus:pref_select_push_appJun 4, 2019

Commits