| 
					
						
							
								
								
								
									
									
									
										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 |