github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-16 13:57:07 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
f7677549ea22d075670f5f0dfe17d8f96945eda8
zyedidia.micro/cmd
History
Dmitry Maluka e31f5ed26e Add -profile flag for CPU profiling (#2715) 
There is already a commented-out code in main() for enabling CPU
profiling of micro, which is often useful. Adjust it to allow enabling
it just by providing -profile flag on the command line, without
modifying and recompiling the code.
2023-01-29 18:10:57 -08:00
..
micro
Add -profile flag for CPU profiling (#2715)
2023-01-29 18:10:57 -08:00