diff options
author | Yuchen Pei <me@ypei.me> | 2017-11-29 12:30:41 +0100 |
---|---|---|
committer | Yuchen Pei <me@ypei.me> | 2017-11-29 12:30:41 +0100 |
commit | a000308104aab27c2dde9a306f1bc654b2db4806 (patch) | |
tree | aecc628e14c1628b5714281437aba18680cdc27b /tools/bin/scripts/defaultVM.txt |
first commit
Diffstat (limited to 'tools/bin/scripts/defaultVM.txt')
-rw-r--r-- | tools/bin/scripts/defaultVM.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/bin/scripts/defaultVM.txt b/tools/bin/scripts/defaultVM.txt new file mode 100644 index 0000000..dbc64c4 --- /dev/null +++ b/tools/bin/scripts/defaultVM.txt @@ -0,0 +1,3 @@ +repeat {
+ vmstep;
+}
\ No newline at end of file |