| dev | update config and puppet | 2015-02-26 16:42:35 +01:00 | 
		
			
			
			
			
				| dmi/run1 | config + dmi | 2015-02-19 17:39:41 +01:00 | 
		
			
			
			
			
				| ext | update config and puppet | 2015-02-26 16:42:35 +01:00 | 
		
			
			
			
			
				| patches | warehouse name, patches | 2014-12-10 11:50:51 +01:00 | 
		
			
			
			
			
				| setup | email setup + camadeus logo and favicon | 2015-02-25 10:14:06 +01:00 |