Dan Stillman 7e7ec07170 Remove "Show developer tools" checkbox and show menu by default ... Everybody's a developer now		2019-08-02 07:00:43 -04:00
..
scaffold	Add Scaffold as a built-in developer tool	2019-08-02 07:00:39 -04:00
zotero	Remove "Show developer tools" checkbox and show menu by default	2019-08-02 07:00:43 -04:00
zotero-platform	Tweaks to document import/export	2019-05-14 23:36:00 -04:00