| commit | 30e7a431c0ae3c955e96f19a1f48723b5f381513 | [log] [tgz] |
|---|---|---|
| author | Yabin Cui <yabinc@google.com> | Thu Jan 31 22:27:29 2019 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Jan 31 22:27:29 2019 +0000 |
| tree | c51d83d08dce00672013368461f66b9d29e52d1e | |
| parent | 79489ecc52ffc86622e6aebc2340591c79764cfe [diff] | |
| parent | 03b9027567cddc51aa4ca5bf21e92c65417e7abc [diff] |
Merge "inferno: add --system_wide option."