VimPlug/jedi
1
0
Fork 1
mirror of https://github.com/davidhalter/jedi.git synced 2026-06-17 18:45:51 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
6,113 Commits 2 Branches 33 Tags
bb0bf41cab205d7bc43be22b22846747b7197e25
Commit Graph

4 Commits

Author SHA1 Message Date
Dave Halter 2b268435c4 Make some profile output better 2018-12-01 13:35:29 +01:00
Dave Halter 07d48df314 Make it possible to have higher precision with pstats displayed 2018-12-01 11:45:09 +01:00
Dave Halter 2eb5e9b42d Improve the profiling script 2018-11-28 22:48:13 +01:00
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