jedi/deploy-master.sh at fd1e6afd07c4c05ad0d36d2762f5c23e9a1a10e4 - jedi - Gitea

VimPlug/jedi

mirror of https://github.com/davidhalter/jedi.git synced 2025-12-16 02:27:06 +08:00

Files

Dave Halter cc68942ec1 Make sure that the deployment process checks out git submodules (e.g. typeshed)

2019-05-18 00:20:56 +02:00

1.2 KiB

Executable File

Raw Blame History

View Raw