jedi/scripts/profile_output.py at 72b4c8bd9f21d2eae3bb5aad14f37f3300cf9011 - jedi - Gitea

VimPlug/jedi

mirror of https://github.com/davidhalter/jedi.git synced 2026-01-01 17:53:21 +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