mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-15 19:42:35 +08:00
Install docopt for dev setup
This commit is contained in:
1 parent
88cf592c95
commit
f13b4e800a
1 file changed
+1
Reference in new issue
Block a user