mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-15 19:12:35 +08:00
Add a deploy script.
This commit is contained in:
1 parent
f2b41b1752
commit
6ccac94162
1 file changed
+5