| 
					
						
							
								deployIfChanged.sh
							
						
					
				 | 
				
					
						
							
							Add automatic sync steps
						
					
				 | 
				2021-05-28 13:43:27 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								fixTheme.ts
							
						
					
				 | 
				
					
						
							
							Merge master
						
					
				 | 
				2021-06-24 01:55:45 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generateDocs.ts
							
						
					
				 | 
				
					
						
							
							More fixes
						
					
				 | 
				2021-06-16 21:23:03 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generateLayerOverview.ts
							
						
					
				 | 
				
					
						
							
							Merge develop
						
					
				 | 
				2021-07-27 19:59:41 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generateLayouts.ts
							
						
					
				 | 
				
					
						
							
							A png, of course
						
					
				 | 
				2021-07-06 15:53:42 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generateLicenseInfo.ts
							
						
					
				 | 
				
					
						
							
							Fix initial setup scripts
						
					
				 | 
				2021-05-07 02:06:08 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generateWikiPage.ts
							
						
					
				 | 
				
					
						
							
							Butchering the UI framework
						
					
				 | 
				2021-06-10 01:36:20 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								genKeys.sh
							
						
					
				 | 
				
					
						
							
							Add support for smaller theme encodings
						
					
				 | 
				2021-04-04 03:22:56 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								printVersion.ts
							
						
					
				 | 
				
					
						
							
							Automatically tag releases
						
					
				 | 
				2021-05-13 13:25:03 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								ScriptUtils.ts
							
						
					
				 | 
				
					
						
							
							Merge develop
						
					
				 | 
				2021-07-27 19:59:41 +02:00 |