Bjorn Neergaard
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							ad2ee80eb6
							
						
					 | 
					
						
						
							
							More randomness in the wrapper tmpfile
						
						
						
						
						
					 | 
					
						2016-10-10 15:53:56 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Bjorn Neergaard
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							e68800a28d
							
						
					 | 
					
						
						
							
							Fixup stdin-wrapper
						
						
						
						
						
						
						
						* Use a more universal shebang.
* Use the template feature of mktemp to avoid silly gymnastics. 
						
					 | 
					
						2016-10-10 14:31:17 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Prashanth Chandra
							
						 
					 | 
					
						
						
						
						
							
						
						
							043446998b
							
						
					 | 
					
						
						
							
							Add comment headers to wrappers
						
						
						
						
						
					 | 
					
						2016-10-04 03:07:49 +08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								w0rp
							
						 
					 | 
					
						
						
						
						
							
						
						
							552cc7dbc4
							
						
					 | 
					
						
						
							
							Add support for checking Vim code with Vint.
						
						
						
						
						
					 | 
					
						2016-10-03 17:40:02 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								w0rp
							
						 
					 | 
					
						
						
						
						
							
						
						
							57ef2c9833
							
						
					 | 
					
						
						
							
							Add support for checking Haskell code via a wrapper script which can be used for other tools, and fix a readline problem with the DMD wrapper script.
						
						
						
						
						
					 | 
					
						2016-09-18 23:58:04 +01:00 | 
					
					
						
						
							
							
							
						
					 |