VimPlug/jedi
1
0
Fork 1
mirror of https://github.com/davidhalter/jedi.git synced 2025-12-07 22:44:27 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
6,116 Commits 2 Branches 32 Tags
feefde400eed755f033ee460c98f2e6c21e5b19b
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