diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/rev1.tfst')
-rw-r--r-- | gfsm/gfsm/src/programs/rev1.tfst | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gfsm/gfsm/src/programs/rev1.tfst b/gfsm/gfsm/src/programs/rev1.tfst deleted file mode 100644 index 5a428b4..0000000 --- a/gfsm/gfsm/src/programs/rev1.tfst +++ /dev/null @@ -1,7 +0,0 @@ -0 1 0 1 1 -1 2 1 2 12 -2 2 2 2 22 -2 20 -1 3 1 3 13 -3 4 3 4 34 -4 40
\ No newline at end of file |