commit | 857d592f5e815f8227fc6348635c70b679788951 | [log] [tgz] |
---|---|---|
author | Vitaly Buka <vitalybuka@google.com> | Wed Mar 25 12:32:46 2020 -0700 |
committer | GitHub <noreply@github.com> | Wed Mar 25 12:32:46 2020 -0700 |
tree | fbc619dc5ece1f1a590eb4e4d66f99e574511645 | |
parent | 63c30953430b5ef4eab9565cf3876d4aaae843af [diff] |
Move all builders from gribozavr5 to gribozavr4