Simon Kornblith 23fc663378 Call Preferences "Preferences" in menu on all platforms ... Fixes #340		2013-06-19 12:52:04 -04:00
..
zotero	Call Preferences "Preferences" in menu on all platforms	2013-06-19 12:52:04 -04:00