diff options
| author | Gary Bressler <garybressler@nc.rr.com> | 2010-03-01 23:46:44 -0500 |
|---|---|---|
| committer | Gary Bressler <garybressler@nc.rr.com> | 2010-03-01 23:46:44 -0500 |
| commit | 44a8ade3ed5dc4810fd95c41dbe8ec3aa2fb0cf7 (patch) | |
| tree | 4275bbcb03ec58412c3703e4df68f43fb1c10089 /README | |
Reorganized tree, along with the visualizer
Diffstat (limited to 'README')
| -rw-r--r-- | README | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -0,0 +1 @@ | |||
| See the LITMUS Wiki page for an explanation of this tool. | |||