Dan Stillman b3067ac5c0 Add skipDeleteLog option when erasing objects ... To be used by updated deletion listener in new sync code Also adds explicit Zotero.SyncedSettings.clear() in place of Zotero.SyncSettings.set() without a value		2015-06-17 01:57:31 -04:00
..
zotero	Add skipDeleteLog option when erasing objects	2015-06-17 01:57:31 -04:00
zotero-platform	Set tree image height to 16px everywhere	2015-04-07 14:37:13 -04:00