diff options
| author | Mike Pall <mike> | 2024-11-14 17:13:58 +0100 |
|---|---|---|
| committer | Mike Pall <mike> | 2024-11-14 17:13:58 +0100 |
| commit | fca66335d131669cf017420af6963a7565babb58 (patch) | |
| tree | d54a9d27cbfd1edea58cf2714a5096ba6321a386 /doc/ext_buffer.html | |
| parent | 9ce8f1ff8e5298c4d921d9f0b4a3fc1f965b3f22 (diff) | |
| download | luajit-fca66335d131669cf017420af6963a7565babb58.tar.gz luajit-fca66335d131669cf017420af6963a7565babb58.tar.bz2 luajit-fca66335d131669cf017420af6963a7565babb58.zip | |
Always close profiler output file.
Reported by Guilherme Batalheiro. #1304
Diffstat (limited to 'doc/ext_buffer.html')
0 files changed, 0 insertions, 0 deletions