Pieter Vander Vennet
								
							 
						 | 
						
							
							
							
							
								
							
							
								71f4d4091e
								
							
						 | 
						
							
							
								
								Small fixes for the GRB theme and value substitution
							
							
							
							
							
						 | 
						
							2020-08-27 00:08:00 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Pieter Vander Vennet
								
							 
						 | 
						
							
							
							
							
								
							
							
								0f433d026a
								
							
						 | 
						
							
							
								
								More work on the theme generator
							
							
							
							
							
						 | 
						
							2020-08-23 01:49:19 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Pieter Vander Vennet
								
							 
						 | 
						
							
							
							
							
								
							
							
								a55767c1e9
								
							
						 | 
						
							
							
								
								Add Open Toilet Map, fix #34
							
							
							
							
							
						 | 
						
							2020-08-22 16:00:33 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Pieter Vander Vennet
								
							 
						 | 
						
							
							
							
							
								
							
							
								560c8e1567
								
							
						 | 
						
							
							
								
								More work on the custom theme generator, add aed template, move bookcases to json template
							
							
							
							
							
						 | 
						
							2020-08-22 02:12:46 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Pieter Vander Vennet
								
							 
						 | 
						
							
							
							
							
								
							
							
								146552e62c
								
							
						 | 
						
							
							
								
								Some refactoring, more work on the custom theme generator
							
							
							
							
							
						 | 
						
							2020-08-17 17:23:15 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Pieter Vander Vennet
								
							 
						 | 
						
							
							
							
							
								
							
							
								7757bb051c
								
							
						 | 
						
							
							
								
								Few extra tweaks
							
							
							
							
							
						 | 
						
							2020-08-08 21:49:39 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Pieter Vander Vennet
								
							 
						 | 
						
							
							
							
							
								
							
							
								8d3c8ed9d9
								
							
						 | 
						
							
							
								
								Add custom theme generator
							
							
							
							
							
						 | 
						
							2020-08-08 21:17:17 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |