diff options
Diffstat (limited to 'result/automata/po')
| -rw-r--r-- | result/automata/po | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/result/automata/po b/result/automata/po deleted file mode 100644 index fafcae5..0000000 --- a/result/automata/po +++ /dev/null @@ -1,2 +0,0 @@ -=> Passed -=> Passed |