| 
					
						
							
								
								add_license.sh
							
						
					
				 | 
				
					
						
							
							Fixing coverage script.
						
					
				 | 
				2016-07-11 18:41:26 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								cov.sh
							
						
					
				 | 
				
					
						
							
							fix verify
						
					
				 | 
				2017-06-13 02:35:07 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								deb-build.sh
							
						
					
				 | 
				
					
						
							
							chmod +x *scripts
						
					
				 | 
				2017-07-18 16:45:58 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								deploy.sh
							
						
					
				 | 
				
					
						
							
							chmod +x *scripts
						
					
				 | 
				2017-07-18 16:45:58 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								doc.sh
							
						
					
				 | 
				
					
						
							
							Updating UI
						
					
				 | 
				2016-07-14 19:32:15 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								docker-build.sh
							
						
					
				 | 
				
					
						
							
							fix docker build in master
						
					
				 | 
				2017-07-18 16:17:33 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								fmt.sh
							
						
					
				 | 
				
					
						
							
							Fixing coverage script.
						
					
				 | 
				2016-07-11 18:41:26 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								hook.sh
							
						
					
				 | 
				
					
						
							
							Fixing coverage script.
						
					
				 | 
				2016-07-11 18:41:26 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								parity.service
							
						
					
				 | 
				
					
						
							
							Make config file optional (#5847)
						
					
				 | 
				2017-06-19 11:42:29 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								targets.sh
							
						
					
				 | 
				
					
						
							
							chmod +x *scripts
						
					
				 | 
				2017-07-18 16:45:58 +03:00 |