| benchmarks | Format with clang-format 3.8 | 2016-05-27 21:05:04 +02:00 | 
		
			
			
			
			
				| engine | adjust for comments by daniel-j-h | 2016-09-30 17:27:14 +02:00 | 
		
			
			
			
			
				| extractor | Merge branch 'master' into guido/notification | 2016-09-29 16:03:44 +02:00 | 
		
			
			
			
			
				| osrm | Format with clang-format 3.8 | 2016-05-27 21:05:04 +02:00 | 
		
			
			
			
			
				| server | Log incoming requests before they are processed | 2016-07-11 16:50:09 +02:00 | 
		
			
			
			
			
				| util | Reduce NewName Instructructions / Name Changes | 2016-09-21 12:42:39 +02:00 |