| 
					
						
							
								
								
								
									
									
									
										config
									
								
							
						
					
				 | 
				
					
						
							
							update config files
						
					
				 | 
				2018-11-13 23:29:36 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										doc
									
								
							
						
					
				 | 
				
					
						
							
							release script relocation
						
					
				 | 
				2017-12-25 21:54:44 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										verify
									
								
							
						
					
				 | 
				
					
						
							
							update release key. fixes #907
						
					
				 | 
				2018-03-02 21:13:05 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								BUILD
							
						
					
				 | 
				
					
						
							
							add ppc64 builds
						
					
				 | 
				2018-11-01 12:19:58 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								install-release.sh
							
						
					
				 | 
				
					
						
							
							Update install-release.sh
						
					
				 | 
				2018-11-26 15:23:38 +08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								install.sh
							
						
					
				 | 
				
					
						
							
							remove reference to vbuild
						
					
				 | 
				2018-10-04 20:44:57 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								make-release.sh
							
						
					
				 | 
				
					
						
							
							compatible with semver
						
					
				 | 
				2018-11-16 21:18:08 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								mapping.bzl
							
						
					
				 | 
				
					
						
							
							fix file mappings
						
					
				 | 
				2018-10-04 09:55:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								release-ci.sh
							
						
					
				 | 
				
					
						
							
							delay between file uploading
						
					
				 | 
				2018-12-06 22:53:23 +01:00 |