diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2013-12-07 00:44:57 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2013-12-07 00:44:57 -0800 |
| commit | c5a0ce906377b51ef2eab9fcdd3cc8c56de43ef3 (patch) | |
| tree | 72695d32429ec7bad5afc2cf8c64bddafe6fe431 /scripts/super_prove.sh | |
| parent | 22f9e9998f9395c684beb390cd3ec600d10039aa (diff) | |
| download | abc-c5a0ce906377b51ef2eab9fcdd3cc8c56de43ef3.tar.gz abc-c5a0ce906377b51ef2eab9fcdd3cc8c56de43ef3.tar.bz2 abc-c5a0ce906377b51ef2eab9fcdd3cc8c56de43ef3.zip | |
add a new command line option to ABC, -q, same as -c, but without echoing the command
Diffstat (limited to 'scripts/super_prove.sh')
0 files changed, 0 insertions, 0 deletions