diff options
Diffstat (limited to 'tools/bin/scripts')
-rw-r--r-- | tools/bin/scripts/defaultCPU.txt | 3 | ||||
-rw-r--r-- | tools/bin/scripts/defaultHW.txt | 4 | ||||
-rw-r--r-- | tools/bin/scripts/defaultVM.txt | 3 |
3 files changed, 0 insertions, 10 deletions
diff --git a/tools/bin/scripts/defaultCPU.txt b/tools/bin/scripts/defaultCPU.txt deleted file mode 100644 index 43b2720..0000000 --- a/tools/bin/scripts/defaultCPU.txt +++ /dev/null @@ -1,3 +0,0 @@ -repeat {
- ticktock;
-}
\ No newline at end of file diff --git a/tools/bin/scripts/defaultHW.txt b/tools/bin/scripts/defaultHW.txt deleted file mode 100644 index bdb2261..0000000 --- a/tools/bin/scripts/defaultHW.txt +++ /dev/null @@ -1,4 +0,0 @@ -repeat {
- tick,
- tock;
-}
\ No newline at end of file diff --git a/tools/bin/scripts/defaultVM.txt b/tools/bin/scripts/defaultVM.txt deleted file mode 100644 index dbc64c4..0000000 --- a/tools/bin/scripts/defaultVM.txt +++ /dev/null @@ -1,3 +0,0 @@ -repeat {
- vmstep;
-}
\ No newline at end of file |