| 
					
						
							
								
								blanks.sh
							
						
					
				 | 
				
					
						
							
							Trivial code style updates
						
					
				 | 
				2019-04-19 13:54:48 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								drei.sh
							
						
					
				 | 
				
					
						
							
							More DREI updates
						
					
				 | 
				2019-05-08 12:28:50 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								duplicates.py
							
						
					
				 | 
				
					
						
							
							Minor update
						
					
				 | 
				2019-05-08 02:32:49 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								junk.sh
							
						
					
				 | 
				
					
						
							
							Adding aux (dev) script
						
					
				 | 
				2019-04-29 11:13:47 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								modernize.sh
							
						
					
				 | 
				
					
						
							
							Minor update
						
					
				 | 
				2019-05-03 01:20:10 +02: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
							
						
					
				 | 
				
					
						
							
							Trivial code style updates
						
					
				 | 
				2019-04-19 13:54:48 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								pyflakes.sh
							
						
					
				 | 
				
					
						
							
							Trivial code style updates
						
					
				 | 
				2019-04-19 13:54:48 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								pylint.py
							
						
					
				 | 
				
					
						
							
							Some more DREI stuff
						
					
				 | 
				2019-03-28 16:04:38 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								pypi.sh
							
						
					
				 | 
				
					
						
							
							Last commits for drei
						
					
				 | 
				2019-05-08 13:38:07 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								strip.sh
							
						
					
				 | 
				
					
						
							
							Changing file permissions to remove execute bit
						
					
				 | 
				2017-10-11 14:16:48 +02:00 |