diff options
Diffstat (limited to 'tool/insns2vm.rb')
| -rwxr-xr-x[-rw-r--r--] | tool/insns2vm.rb | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tool/insns2vm.rb b/tool/insns2vm.rb index 82a5e7c88c..82a5e7c88c 100644..100755 --- a/tool/insns2vm.rb +++ b/tool/insns2vm.rb |