| 
					
						
							
								
								
								
									
									
									
										.jenkins
									
								
							
						
					
				 | 
				
					
						
							
							Add Jenkinsfile for PR job
						
					
				 | 
				2018-10-19 15:25:10 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										data_files
									
								
							
						
					
				 | 
				
					
						
							
							Rename server1.der to server1.crt.der
						
					
				 | 
				2019-05-30 10:27:49 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										git-scripts
									
								
							
						
					
				 | 
				
					
						
							
							Add doxygen.sh script to git hooks
						
					
				 | 
				2018-06-27 17:41:00 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										suites
									
								
							
						
					
				 | 
				
					
						
							
							Rename server1.der to server1.crt.der
						
					
				 | 
				2019-05-30 10:27:49 +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 |