Deven Bansod fdc80a2fd9 Fix #12455: Query history stores separate entry for every letter typed ... Don't store history when linting, rather store it only when user has submitted the query. Signed-off-by: Deven Bansod <devenbansod.bits@gmail.com>		2016-09-30 10:47:02 +05:30
..
addon	Fix #12455: Query history stores separate entry for every letter typed	2016-09-30 10:47:02 +05:30
lib	Upgrade CodeMirror to version 5.4.0	2015-06-29 13:19:42 +05:30
mode	Upgrade CodeMirror to version 5.4.0	2015-06-29 13:19:42 +05:30
LICENSE	Upgrade CodeMirror to version 5.3.0	2015-05-20 15:49:40 +05:30