| config-dialog.css | Remove unnecessary css | 2018-09-24 07:02:04 -05:00 | 
		
			
			
			
			
				| config-dialog.js | Alas, poor clamp! I knew it well | 2018-09-24 07:02:04 -05:00 | 
		
			
			
			
			
				| filters.js | autosize filters only if the width > 0 | 2018-07-07 20:47:00 +03:00 | 
		
			
			
			
			
				| import-export.js | WIP: switch to API | 2018-10-05 18:47:52 +08:00 | 
		
			
			
			
			
				| manage.js | Change: switch to msg.js | 2018-10-06 13:27:58 +08:00 | 
		
			
			
			
			
				| object-diff.js | code cosmetics: split manage.js | 2017-08-16 08:18:23 +03:00 | 
		
			
			
			
			
				| updater-ui.js | use the new originalDigest in update UI | 2018-08-27 20:39:36 +03:00 |