From 44a8ade3ed5dc4810fd95c41dbe8ec3aa2fb0cf7 Mon Sep 17 00:00:00 2001 From: Gary Bressler Date: Mon, 1 Mar 2010 23:46:44 -0500 Subject: Reorganized tree, along with the visualizer --- README | 1 + 1 file changed, 1 insertion(+) create mode 100644 README (limited to 'README') diff --git a/README b/README new file mode 100644 index 0000000..b2da190 --- /dev/null +++ b/README @@ -0,0 +1 @@ +See the LITMUS Wiki page for an explanation of this tool. -- cgit v1.2.2