| game.rs | Check if move would end in a wall first | 2023-11-12 09:20:03 +01:00 | 
		
			
			
			
			
				| level_widget.rs | Player is drawn | 2023-11-11 18:09:12 +01:00 | 
		
			
			
			
			
				| level.rs | start generating | 2023-11-12 15:48:03 +01:00 | 
		
			
			
			
			
				| main.rs | start generating | 2023-11-12 15:48:03 +01:00 | 
		
			
			
			
			
				| player.rs | move player | 2023-11-11 18:55:31 +01:00 | 
		
			
			
			
			
				| position.rs | move player | 2023-11-11 18:55:31 +01:00 |