jedi/scripts/profile_output.py at d41e0364270cd51ba86a8c45c75d5afe246fd8b1 - jedi - Gitea

VimPlug/jedi

mirror of https://github.com/davidhalter/jedi.git synced 2025-12-08 23:04:48 +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