diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/renumber.tfst')
-rw-r--r-- | gfsm/gfsm/src/programs/renumber.tfst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gfsm/gfsm/src/programs/renumber.tfst b/gfsm/gfsm/src/programs/renumber.tfst deleted file mode 100644 index b4697b0..0000000 --- a/gfsm/gfsm/src/programs/renumber.tfst +++ /dev/null @@ -1,5 +0,0 @@ -5 4 43 0 0 -5 1 42 0 0 -7 0 -1 7 1 1 0 -4 7 1 1 0 |