Dan Stillman 1f8cf22a35 Delete group files when deleting group ... Fixes #1532		2018-07-15 23:09:34 -04:00
..
zotero	Delete group files when deleting group	2018-07-15 23:09:34 -04:00
zotero-platform	Adds a progress bar for non quick-format integration actions	2018-04-24 01:37:10 -04:00