summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-x[-rw-r--r--]tool/insns2vm.rb0
1 files changed, 0 insertions, 0 deletions
diff --git a/tool/insns2vm.rb b/tool/insns2vm.rb
index 82a5e7c88..82a5e7c88 100644..100755
--- a/tool/insns2vm.rb
+++ b/tool/insns2vm.rb