mirror of
				https://github.com/Z3Prover/z3
				synced 2025-10-29 02:39:24 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			4 lines
		
	
	
	
		
			138 B
		
	
	
	
		
			Text
		
	
	
	
	
	
			
		
		
	
	
			4 lines
		
	
	
	
		
			138 B
		
	
	
	
		
			Text
		
	
	
	
	
	
| # Set default behaviour, in case users don't have core.autocrlf set.
 | |
| * text=auto
 | |
| 
 | |
| src/api/dotnet/Properties/AssemblyInfo.cs text eol=crlf
 |