| .. | 
		
		
			
				
					| locale | e285c527e5
					clean up front page | 6 years ago | 
		
			
				
					| app.html | 1e15deb75a
					fixes and settings GUI | 7 years ago | 
		
			
				
					| header.js | c40c778b94
					update license info | 7 years ago | 
		
			
				
					| index-app.css | 8202c42f67
					worlds page | 7 years ago | 
		
			
				
					| index-app.js | 9c6f5717e0
					update gundb | 6 years ago | 
		
			
				
					| world-app.js | 36bc8d82af
					fix after update | 6 years ago |