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 /Makefile | |
| parent | 238301431d29005f010466c48c330777a897cb3f (diff) | |
Fix super_nsatz tactic to be better about ordering
See also #13.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions