diff options
author | Vincent Ambo <mail@tazj.in> | 2020-08-20T02·05+0100 |
---|---|---|
committer | tazjin <mail@tazj.in> | 2020-08-20T11·48+0000 |
commit | f7fa77f14dedad98ab9e8a014d3bcfd60565dfd0 (patch) | |
tree | 915e92a5b772d2e1d29995897f6afe2ddbbfbdb1 /third_party/gerrit | |
parent | a75c0278db652c7265f205f1a529632e6b050157 (diff) |
style(tvix): typedef -> using in build.cc/store-api.hh r/1688
this shuts up a few lints ... Change-Id: I51ee9418767e97247f98b170cdad137e5b12b44d Reviewed-on: https://cl.tvl.fyi/c/depot/+/1796 Tested-by: BuildkiteCI Reviewed-by: kanepyork <rikingcoding@gmail.com> Reviewed-by: glittershark <grfn@gws.fyi>
Diffstat (limited to 'third_party/gerrit')
0 files changed, 0 insertions, 0 deletions