diff options
| author | Takashi Kokubun <takashikkbn@gmail.com> | 2022-08-21 11:34:20 -0700 |
|---|---|---|
| committer | Takashi Kokubun <takashikkbn@gmail.com> | 2022-08-21 11:35:40 -0700 |
| commit | 9f3140a42e3542dce565a27135dceeb135a4e691 (patch) | |
| tree | 14e27feb24d9f0b3234d894ccfdcac4c527ef845 /include | |
| parent | a60507f616a7f5beb4aef99aa56f6b964c16880d (diff) | |
Remove mjit_exec benchmarks
Now that mjit_exec doesn't exist, those files feel old. I'll probably
change how I benchmark it when I add benchmarks for it again.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions