Tim Abbott
							
						 
					 | 
					
						
						
							
						
						5c92639f81
					 | 
					
						
						
							
							Move mypy requirements to requirements/ directory.
						
						
						
						
						
						
					 | 
					
						2016-06-18 16:41:40 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tim Abbott
							
						 
					 | 
					
						
						
							
						
						e7d9b28dfc
					 | 
					
						
						
							
							install-mypy: Pass --upgrade to correctly handle new mypy versions.
						
						
						
						
						
						
					 | 
					
						2016-06-03 19:11:32 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Reid Barton
							
						 
					 | 
					
						
						
							
						
						ff845ebb96
					 | 
					
						
						
							
							Make tools/install-mypy exit on error.
						
						
						
						
						
						
					 | 
					
						2016-05-30 09:49:45 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Umair Khan
							
						 
					 | 
					
						
						
							
						
						0278ce9102
					 | 
					
						
						
							
							Move tools/py3_test_reqs.txt to tools/setup/.
						
						
						
						
						
						
						
						Fixes #708 
						
						
					 | 
					
						2016-05-26 18:43:24 +05:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Eklavya Sharma
							
						 
					 | 
					
						
						
							
						
						4310e6d224
					 | 
					
						
						
							
							Add tools/install-mypy.
						
						
						
						
						
						
						
						This provides a way for users not using provision.py to install mypy.
[with substantial tweaks by tabbott] 
						
						
					 | 
					
						2016-04-28 12:29:12 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |