Michael Friedrich
							
						 
					 | 
					
						
						
						
						
							
						
						
							dcf9e7bfe2
							
						
					 | 
					
						
						
							
							Add timestamp option for checkresult test script
						
						
						
						
						
						
						
						refs #9055 
						
						
					 | 
					
						2015-04-27 15:12:42 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Michael Friedrich
							
						 
					 | 
					
						
						
						
						
							
						
						
							78bfd0204c
							
						
					 | 
					
						
						
							
							Update copyright year
						
						
						
						
						
						
					 | 
					
						2015-01-22 12:00:23 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Gunnar Beutner
							
						 
					 | 
					
						
						
						
						
							
						
						
							f6a7f84ed5
							
						
					 | 
					
						
						
							
							Revert "Fix external command pipe: Too many open files"
						
						
						
						
						
						
						
						This reverts commit 1a3f7d774c2dce7750103913b2864c3c588b386f. 
						
						
					 | 
					
						2014-08-20 13:32:07 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Michael Friedrich
							
						 
					 | 
					
						
						
						
						
							
						
						
							1a3f7d774c
							
						
					 | 
					
						
						
							
							Fix external command pipe: Too many open files
						
						
						
						
						
						
						
						fixes #6916 
						
						
					 | 
					
						2014-08-14 16:15:01 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Michael Friedrich
							
						 
					 | 
					
						
						
						
						
							
						
						
							ce737ff2f3
							
						
					 | 
					
						
						
							
							Change copyright header (again).
						
						
						
						
						
						
						
						Fixes #5424 
						
						
					 | 
					
						2014-03-19 11:42:47 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Michael Friedrich
							
						 
					 | 
					
						
						
						
						
							
						
						
							555d72150a
							
						
					 | 
					
						
						
							
							Update copyright header.
						
						
						
						
						
						
						
						Fixes #5424 
						
						
					 | 
					
						2014-01-09 00:32:11 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Michael Friedrich
							
						 
					 | 
					
						
						
						
						
							
						
						
							2164ff22b9
							
						
					 | 
					
						
						
							
							Documentation: Update commands and external commands.
						
						
						
						
						
						
					 | 
					
						2013-10-17 18:13:33 +02:00 | 
					
					
						
						
							
							
							
						
					 |