mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-19 05:41:25 +08:00
Try to get jedi.readthedocs.org running again
This commit is contained in:
1 parent
6c9cab2f8e
commit
31c2c508c3
1 file changed
+1