diff options
| author | Kathy Gray | 2016-02-25 14:32:47 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-02-25 14:33:36 +0000 |
| commit | 1402682ed4e1195a2911041107c5cf14c16a03f7 (patch) | |
| tree | 02040ab5d554a1e8c7972f3e5149a2398a1e9c2f /src/test/pattern.sail | |
| parent | 45c7902a41a8f160900bc6a8ed7c212093e89983 (diff) | |
Update read me to the present day and cause the makefile from the top level directory to be a bit more sensible
Diffstat (limited to 'src/test/pattern.sail')
0 files changed, 0 insertions, 0 deletions