diff options
author | Jason Gross <jagro@google.com> | 2016-06-28 12:34:46 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-06-28 12:34:46 -0700 |
commit | 5329170c85614f943e34652426181759990f6036 (patch) | |
tree | 65ded9b7087d0390c44f084f391638d5ea544420 /README.md | |
parent | 238301431d29005f010466c48c330777a897cb3f (diff) |
Fix super_nsatz tactic to be better about ordering
See also #13.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions