| 
					
						
							
								
								configure.pl
							
						
					
				 | 
				
					
						
							
							Split up configure script
						
					
				 | 
				2013-09-30 19:04:35 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								generate.pl
							
						
					
				 | 
				
					
						
							
							Split up configure script
						
					
				 | 
				2013-09-30 19:04:35 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								generate.sh
							
						
					
				 | 
				
					
						
							
							Split up configure script
						
					
				 | 
				2013-09-30 19:04:35 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								modules.sh
							
						
					
				 | 
				
					
						
							
							Nicer feed specification
						
					
				 | 
				2014-01-02 15:16:32 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								patch.sh
							
						
					
				 | 
				
					
						
							
							Don't warn about whitespace when patching
						
					
				 | 
				2014-01-11 13:42:09 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								unpatch.sh
							
						
					
				 | 
				
					
						
							
							Nicer feed specification
						
					
				 | 
				2014-01-02 15:16:32 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								update-patches.sh
							
						
					
				 | 
				
					
						
							
							Nicer feed specification
						
					
				 | 
				2014-01-02 15:16:32 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								update.sh
							
						
					
				 | 
				
					
						
							
							Nicer feed specification
						
					
				 | 
				2014-01-02 15:16:32 +01:00 |