8 Commits

Include renames

Author	SHA1	Message	Date
Dave Halter	e2ab4c060f	Move all the gradual typing stuff into one folder	2018-12-24 17:40:47 +01:00
Dave Halter	9fe9bed1c9	Fix the first issues with the new typing module implementation	2018-08-21 01:28:55 +02:00
Dave Halter	62842c8ac1	For now don't use the TypeshedPlugin until we fix all other issues with Jedi	2018-08-09 18:48:08 +02:00
Dave Halter	b809768934	Start implementing some typeshed details	2018-07-25 11:00:51 +02:00
Dave Halter	27ab4ba339	Add the flask plugin and move the import hacks there	2018-07-23 04:04:21 +02:00
Dave Halter	7711167052	Start enabling the Typeshed plugin, even though it doesn't do anything, yet.	2018-07-23 02:40:18 +02:00
Dave Halter	061489ec9a	Move the stdlib executions into a plugin	2018-07-22 03:38:12 +02:00
Dave Halter	df55f62ad8	Add a plugin infrastructure	2018-07-21 15:03:05 +02:00