diff options
| author | Yegappan Lakshmanan <yegappan@yahoo.com> | 2022-04-08 13:23:19 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2022-04-08 13:23:19 +0100 |
| commit | 18ee0f603ebd3c091f6d2ab88e652fda32821048 (patch) | |
| tree | 7989533f3caa07a806e0344ecc0ad5ff49af5a26 /src/gui.c | |
| parent | 3a56b6d405fc0f1ca928b77382f97d0c552bea64 (diff) | |
patch 8.2.4712: only get profiling information after exitingv8.2.4712
Problem: Only get profiling information after exiting.
Solution: Add "profile dump" and "profile stop". (Marco Hinz, Yegappan
Lakshmanan, closes #10107)
Diffstat (limited to 'src/gui.c')
0 files changed, 0 insertions, 0 deletions