| config-dialog.css | Remove unnecessary css | 2018-09-24 07:02:04 -05:00 | 
		
			
			
			
			
				| config-dialog.js | Fix: drop getStylesInfo | 2018-10-14 18:48:20 +08:00 | 
		
			
			
			
			
				| import-export.js | Fix: parallel import | 2018-10-13 13:50:03 +08:00 | 
		
			
			
			
			
				| incremental-search.js | Kill hidden globals | 2018-10-10 23:05:20 +08:00 | 
		
			
			
			
			
				| manage.js | Fix: drop getStylesInfo | 2018-10-14 18:48:20 +08:00 | 
		
			
			
			
			
				| object-diff.js | Kill hidden globals | 2018-10-10 23:05:20 +08:00 | 
		
			
			
			
			
				| sort.js | Kill hidden globals | 2018-10-10 23:05:20 +08:00 | 
		
			
			
			
			
				| updater-ui.js | Kill hidden globals | 2018-10-10 23:05:20 +08:00 |