Repository navigation

Allow user to specify custom typeshed directory - #1588

Merged

gvanrossum merged 6 commits into

python:masterfrom

ddfisher:PR/typeshed-flag

Oct 25, 2016

Merged

Allow user to specify custom typeshed directory#1588
gvanrossum merged 6 commits into
python:masterfrom
ddfisher:PR/typeshed-flag

Commits on Oct 17, 2016
- Allow user to specify custom typeshed directory
  ddfisher
  committed
  5afdb9d
Commits on Oct 20, 2016
- Make work with config file and add description
  ddfisher
  committed
  a00b4f6
- refactor to fix issues pointed out in review
  ddfisher
  committed
  00f3323
Commits on Oct 25, 2016
- Merge branch 'master' into PR/typeshed-flag
  ddfisher
  committed
  18e61ff
- Merge branch 'master' into PR/typeshed-flag
  ddfisher
  committed
  4cd96cd
- properly merge submodule
  ddfisher
  committed
  3ca9253