| 
					
						
							
								
								
								
									
									
									
										.jenkins
									
								
							
						
					
				 | 
				
					
						
							
							Add Jenkinsfile for PR job
						
					
				 | 
				2018-10-19 15:25:10 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										data_files
									
								
							
						
					
				 | 
				
					
						
							
							Fix typo in data_file generator code
						
					
				 | 
				2019-04-10 11:50:36 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										git-scripts
									
								
							
						
					
				 | 
				
					
						
							
							Add doxygen.sh script to git hooks
						
					
				 | 
				2018-06-27 17:41:00 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										scripts
									
								
							
						
					
				 | 
				
					
						
							
							Document the scripts behaviour further
						
					
				 | 
				2019-04-18 13:18:22 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								.gitignore
							
						
					
				 | 
				
					
						
							
							Move some ignore patterns to subdirectories
						
					
				 | 
				2015-01-28 15:33:23 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								compat.sh
							
						
					
				 | 
				
					
						
							
							Adjust DES exclude lists in test scripts
						
					
				 | 
				2019-03-01 10:30:11 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								Makefile
							
						
					
				 | 
				
					
						
							
							Add a facility to skip running some test suites
						
					
				 | 
				2018-12-14 18:29:28 +01:00 |