mirror of
https://github.com/davidhalter/jedi.git
synced 2026-11-12 22:30:29 +08:00
Adding a tag should be part of the deployment script.
This commit is contained in:
1 parent
053020c449
commit
8542047e5c
1 file changed
+7
Reference in new issue
Block a user