| dev | Add update-vermagic make target | 2015-07-18 21:21:06 +02:00 | 
		
			
			
			
			
				| releases | docs: releases/v2015.1.1 | 2015-06-18 02:47:49 +02:00 | 
		
			
			
			
			
				| site-example | docs: change version to 2015.1+ | 2015-05-21 01:06:25 +02:00 | 
		
			
			
			
			
				| conf.py | docs: change version to 2015.1+ | 2015-05-21 01:06:25 +02:00 | 
		
			
			
			
			
				| index.rst | docs: releases/v2015.1.1 | 2015-06-18 02:47:49 +02:00 |