jedi/scripts/profile_output.py at 4199ac1a6fc63392f09bd5f9ee3b33e6c6fef6de - jedi - Gitea

VimPlug/jedi

mirror of https://github.com/davidhalter/jedi.git synced 2025-12-06 22:14:27 +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