Daniela Engert  
		
	
	01f34d0b0b 
	
	
	Fix library deprecation warning  
		
			... 
			Since C++17, using template specialization 'std::allocator<void>' in any shape or form (even just mentioning it) is deprecated! A simple workaround is replacing 'void' by another (preferably empty) type, e.g. 'fmt::monostate'.
Found by Clang 9 in Visual Studio. 
		
	 
 
		2019-02-07 12:20:46 -08:00 
	 
	
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2018-06-06 15:57:59 +02:00 
		 
	
		
			
			
			
			
			
			2018-06-06 15:57:59 +02:00 
		 
	
		
			
			
			
			
			
			2018-06-06 15:57:59 +02:00 
		 
	
		
			
			
			
			
			
			2018-06-06 15:57:59 +02:00 
		 
	
		
			
			
			
			
			
			2017-03-09 06:09:43 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-02-03 10:38:28 -08:00 
		 
	
		
			
			
			
			
			
			2019-02-03 10:38:28 -08:00 
		 
	
		
			
			
			
			
			
			2019-02-02 05:48:39 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-02-06 10:17:50 -08:00 
		 
	
		
			
			
			
			
			
			2019-02-03 10:38:28 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-02-06 10:17:50 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2017-12-06 07:42:42 -08:00 
		 
	
		
			
			
			
			
			
			2017-12-06 07:42:42 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-19 07:16:05 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-02-06 15:44:59 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-02-07 12:20:46 -08:00 
		 
	
		
			
			
			
			
			
			2019-02-03 10:38:28 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00 
		 
	
		
			
			
			
			
			
			2019-01-13 06:58:20 -08:00