Merge staging to master #12

Merged
steveej merged 30 commits from staging into master 2018-11-10 11:10:55 +00:00
Showing only changes of commit 8e2f936aba - Show all commits

View file

@ -246,7 +246,7 @@ in {
cdrtools cdrtools
# Document Processing and Management # Document Processing and Management
unstablepkgs.zathura zathura
mendeley mendeley
jabref jabref
zotero zotero