diff options
| author | Ahmed Irfan <ahmedirfan1983@gmail.com> | 2015-04-03 16:45:54 +0200 |
|---|---|---|
| committer | Ahmed Irfan <ahmedirfan1983@gmail.com> | 2015-04-03 16:45:54 +0200 |
| commit | ed750f0a55a5daf52ba557dd28689e5719700c25 (patch) | |
| tree | 66adfe65abbb0319bbac10ea500311cb493c1cfd /backends/btor/README | |
| parent | e82e4f7df4614a97a0ce60affe95f91237acc446 (diff) | |
Delete btor.ys
.ys script not needed
Diffstat (limited to 'backends/btor/README')
0 files changed, 0 insertions, 0 deletions