| 
					
						
							
								
								blanks.sh
							
						
					
				 | 
				
					
						
							
							Replacing doc/COPYING to LICENSE
						
					
				 | 
				2017-10-11 14:50:46 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								drei.sh
							
						
					
				 | 
				
					
						
							
							Minor update of aux script
						
					
				 | 
				2019-03-27 15:32:49 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								duplicates.py
							
						
					
				 | 
				
					
						
							
							Some more DREI stuff
						
					
				 | 
				2019-03-28 16:04:38 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								newlines.py
							
						
					
				 | 
				
					
						
							
							Some more DREI stuff
						
					
				 | 
				2019-03-28 16:04:38 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								postcommit-hook.sh
							
						
					
				 | 
				
					
						
							
							Minor update
						
					
				 | 
				2019-02-04 15:54:57 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								precommit-hook.sh
							
						
					
				 | 
				
					
						
							
							Minor cleanup
						
					
				 | 
				2019-03-21 16:40:20 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								pycodestyle.sh
							
						
					
				 | 
				
					
						
							
							update_copyright_year()
						
					
				 | 
				2019-01-05 21:38:52 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								pydiatra.sh
							
						
					
				 | 
				
					
						
							
							Replacing doc/COPYING to LICENSE
						
					
				 | 
				2017-10-11 14:50:46 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								pyflakes.sh
							
						
					
				 | 
				
					
						
							
							Replacing doc/COPYING to LICENSE
						
					
				 | 
				2017-10-11 14:50:46 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								pylint.py
							
						
					
				 | 
				
					
						
							
							Some more DREI stuff
						
					
				 | 
				2019-03-28 16:04:38 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								pypi.sh
							
						
					
				 | 
				
					
						
							
							Minor cleanup
						
					
				 | 
				2019-03-21 16:40:20 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								strip.sh
							
						
					
				 | 
				
					
						
							
							Changing file permissions to remove execute bit
						
					
				 | 
				2017-10-11 14:16:48 +02:00 |