| engine | Improve the core search stopping criterion | 2016-03-15 09:33:10 +01:00 | 
		
			
			
			
			
				| extractor | Fix up some PR comments | 2016-03-04 16:13:30 +01:00 | 
		
			
			
			
			
				| server | Limit tile zoomlevel to 12+ | 2016-03-02 19:59:49 +01:00 | 
		
			
			
			
			
				| storage | Transforms osrm_exception to exception | 2016-02-12 15:46:24 -08:00 | 
		
			
			
			
			
				| util | RAII for auto-closing file streams | 2016-03-09 17:46:02 +01:00 |