jedi/scripts/profile_output.py at 69237c4aa6cec5be5b0f0f0a5cd9e6187a81b2c8 - jedi - Gitea

VimPlug/jedi

mirror of https://github.com/davidhalter/jedi.git synced 2026-02-03 11:42:42 +08:00

Files

Dave Halter f6f2765ab9 Rename the profile script to profile_output to avoid name clashes with the stdlibs profile.py.

2017-03-31 17:27:16 +02:00

1.2 KiB

Executable File

Raw Blame History

View Raw