Phil Nash
							
						 
					 | 
					
						
						
							
						
						1579744ddd
					 | 
					
						
						
							
							Deprecated description in SECTION (still accepts it, for now, but doesn't use it anywhere)
						
						
						
						
						
						
					 | 
					
						2018-06-25 19:04:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Josh Lospinoso
							
						 
					 | 
					
						
						
							
						
						5201e92564
					 | 
					
						
						
							
							Redirect std::uncaught_exception to Catch::uncaught_exception
						
						
						
						
						
						
						
						This means that only one place needs to work with warnings from
the deprecation of `std::uncaught_exception()` in C++17.
Closes #1162. 
						
						
					 | 
					
						2018-02-02 15:36:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Phil Nash
							
						 
					 | 
					
						
						
							
						
						a9b6813ad9
					 | 
					
						
						
							
							First draft of (experimental) benchmarking support
						
						
						
						
						
						
					 | 
					
						2017-08-04 19:23:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Martin Hořeňovský
							
						 
					 | 
					
						
						
							
						
						d4e796c138
					 | 
					
						
						
							
							Move Section(End)Info bodies to proper .cpp file
						
						
						
						
						
						
					 | 
					
						2017-08-01 17:51:32 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Martin Hořeňovský
							
						 
					 | 
					
						
						
							
						
						fc32165d48
					 | 
					
						
						
							
							Started work on splitting out .cpp files from header files
						
						
						
						
						
						
					 | 
					
						2017-07-06 22:28:42 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |