| 
					
						
							
								
								fileSaveLoad.js
							
						
					
				 | 
				
					
						
							
							Remove unused variables
						
					
				 | 
				2017-07-16 14:40:13 -05:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								manage.css
							
						
					
				 | 
				
					
						
							
							fix&simplify narrow manager media queries
						
					
				 | 
				2017-08-27 17:05:05 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								manage.js
							
						
					
				 | 
				
					
						
							
							abandon automatic translation in CSS
						
					
				 | 
				2017-08-27 13:02:17 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								object-diff.js
							
						
					
				 | 
				
					
						
							
							code cosmetics: split manage.js
						
					
				 | 
				2017-08-16 08:18:23 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								updater-ui.js
							
						
					
				 | 
				
					
						
							
							code cosmetics: split manage.js
						
					
				 | 
				2017-08-16 08:18:23 +03:00 |