diff options
| author | Mike Pall <mike> | 2021-06-25 12:48:42 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2021-06-25 12:48:42 +0200 |
| commit | 95140c50010c0557af66dac944403a1a65dd312c (patch) | |
| tree | dde577fa8a8c3a0454823f0f17efcf0c3d0def07 /doc/ext_buffer.html | |
| parent | 16d38a4b214e8b8a20be554be77bd20286072365 (diff) | |
| download | luajit-95140c50010c0557af66dac944403a1a65dd312c.tar.gz luajit-95140c50010c0557af66dac944403a1a65dd312c.tar.bz2 luajit-95140c50010c0557af66dac944403a1a65dd312c.zip | |
Flush and close output file after profiling run.
Thanks to Sergey Ostanevich.
Diffstat (limited to 'doc/ext_buffer.html')
0 files changed, 0 insertions, 0 deletions