| 
					
						
							
								
								authors-rst.py
							
						
					
				 | 
				
					
						
							
							Fix and detect duplicates in Authors.rst
						
					
				 | 
				2023-02-10 15:58:18 -05:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								build-lua.sh
							
						
					
				 | 
				
					
						
							
							Move travis/ scripts to ci/
						
					
				 | 
				2021-09-05 23:08:01 -04:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								download-df.sh
							
						
					
				 | 
				
					
						
							
							fix DF extraction on Linux
						
					
				 | 
				2023-09-25 16:53:01 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								get-df-version.sh
							
						
					
				 | 
				
					
						
							
							Move travis/ scripts to ci/
						
					
				 | 
				2021-09-05 23:08:01 -04:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								lint.py
							
						
					
				 | 
				
					
						
							
							Revert "Allowing whitespace-only lines."
						
					
				 | 
				2022-11-14 22:10:48 -05:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								run-tests.py
							
						
					
				 | 
				
					
						
							
							reduce tries to one so we don't lose stdout
						
					
				 | 
				2023-09-25 16:53:01 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								script-syntax.py
							
						
					
				 | 
				
					
						
							
							Move travis/ scripts to ci/
						
					
				 | 
				2021-09-05 23:08:01 -04:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								test.lua
							
						
					
				 | 
				
					
						
							
							output where we're clicking for debugging
						
					
				 | 
				2023-09-25 16:53:01 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								update-submodules.manifest
							
						
					
				 | 
				
					
						
							
							add clsocket to the update manifest
						
					
				 | 
				2023-09-05 01:54:57 -07:00 |