diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-06-16 17:32:38 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-16 17:32:38 -0500 |
| commit | 0cb97f705ffe44e126a9d521279c60f9a7b85360 (patch) | |
| tree | eb8a0204dd3274a6e55981c29f5b569b9fa6f2aa /contrib/get-script-header.sh | |
| parent | e37d0c385d698d46f14fb30e5a44de63c686fadb (diff) | |
Simplify sygus conversion script. (#4627)
Diffstat (limited to 'contrib/get-script-header.sh')
0 files changed, 0 insertions, 0 deletions