Skip to content

Rename Firefox extension file in Windows#7092

Merged
Siedlerchr merged 1 commit intomasterfrom jabref-firefox-renameNov 10, 2020

Commits

Commits on Nov 9, 2020