Dave Conway-Jones 2ac9c11ec9 Add tip to tab description editor ... (and remove icons)		2017-04-16 21:08:32 +01:00
..
editor.json	Add tip to tab description editor	2017-04-16 21:08:32 +01:00
infotips.json	Dynamically generate keyboard shortcut help dialog	2017-01-11 11:35:48 +00:00
jsonata.json	Update jsonata	2017-03-12 22:04:38 +00:00