| 
								
								
									 Steve Howell | 2827b59b8b | gitignore: Allow "lib" directory. We use "lib" as a common abbreviation in our own source. | 2018-01-02 16:03:24 -05:00 |  | 
				
					
						| 
								
								
									 fredfishgames | b157b817ae | interactive bots: Improve googlesearch bot. | 2017-12-03 14:03:47 -08:00 |  | 
				
					
						| 
								
								
									 derAnfaenger | 035f0c3268 | tools: Add mypy runner. Unless otherwise specified, `tools/run-mypy` will right now only
check annotations in core files of the `zulip` package. | 2017-09-15 13:24:20 +02:00 |  | 
				
					
						| 
								
								
									 derAnfaenger | c383fea18a | .gitignore: Add bot configuration files. | 2017-09-07 10:47:41 +02:00 |  | 
				
					
						| 
								
								
									 derAnfaenger | 5671dba71e | provision: Add venvs to .gitignore. | 2017-08-25 09:31:01 +02:00 |  | 
				
					
						| 
								
								
									 derAnfaenger | b3fc7edcf7 | git: Ignore automatically generated MANIFEST.in. | 2017-08-24 10:01:53 -07:00 |  | 
				
					
						| 
								
								
									 Rohitt Vashishtha | 4cd580d4fe | tools: Diff with requirements.txt in tools/provision. | 2017-08-17 10:43:50 -07:00 |  | 
				
					
						| 
								
								
									 Eeshan Garg | f9655266df | python-zulip-api: Add tools/provision for setting up dev env. | 2017-08-17 10:39:00 -07:00 |  | 
				
					
						| 
								
								
									 Eeshan Garg | 879f44ab3a | bots: Move all bots and the bots API to separate package. | 2017-07-18 02:20:27 -02:30 |  | 
				
					
						| 
								
								
									 Rohitt Vashishtha | 71b43e4d3e | tools: Add .gitignore. | 2017-07-06 13:09:08 -07:00 |  |