From c5d565931c4823dc8f62fffcb65aecfec516f7b9 Mon Sep 17 00:00:00 2001 From: Mike Hommey Date: Tue, 31 Jan 2006 19:25:18 +0100 Subject: Removing tests and results --- result/automata/aba | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 result/automata/aba (limited to 'result/automata/aba') diff --git a/result/automata/aba b/result/automata/aba deleted file mode 100644 index 051b9bd..0000000 --- a/result/automata/aba +++ /dev/null @@ -1,6 +0,0 @@ -=> Passed -=> Passed -=> Passed -=> Failed -=> Failed -=> Failed -- cgit v1.2.3