| 
					
						
							
								fixTheme.ts
							
						
					
				 | 
				
					
						
							
							Add icons, add correct paths
						
					
				 | 
				2021-04-11 20:42:18 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generateDocs.ts
							
						
					
				 | 
				
					
						
							
							Fix documentation extension
						
					
				 | 
				2021-05-19 12:49:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generateIncludedImages.ts
							
						
					
				 | 
				
					
						
							
							Small tweaks to the deploy scripts
						
					
				 | 
				2021-04-10 15:01:28 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generateLicenseInfo.ts
							
						
					
				 | 
				
					
						
							
							Fix initial setup scripts
						
					
				 | 
				2021-05-07 02:06:08 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generateTaginfoProjectFiles.ts
							
						
					
				 | 
				
					
						
							
							Fix of init scripts
						
					
				 | 
				2021-05-07 12:39:37 +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
							
						
					
				 | 
				
					
						
							
							Add robustness to download script
						
					
				 | 
				2021-05-14 17:37:21 +02:00 |