diff options
| author | Vincent Ambo <mail@tazj.in> | 2021-12-09T13·11+0300 |
|---|---|---|
| committer | Vincent Ambo <mail@tazj.in> | 2021-12-09T13·13+0300 |
| commit | 59f97332b3076afe80ed3fe92eb0e1da676e3a99 (patch) | |
| tree | 07e3cb9b1cf29693e3de3f6a2dfcf22bd58ebf92 /users/grfn/achilles/ach/externs.ach | |
| parent | ff10b7ab8303d050a8d7d751611da88bc13a75b4 (diff) | |
| parent | 24f5a642af3aa1627bbff977f0a101907a02c69f (diff) | |
subtree(3p/gerrit-queue): Vendor at commit '24f5a642' r/3170
Imported from github/tvlfyi/gerrit-queue, originally from github/tweag/gerrit-queue but that upstream is unmaintained. git-subtree-dir: third_party/gerrit-queue git-subtree-mainline: ff10b7ab8303d050a8d7d751611da88bc13a75b4 git-subtree-split: 24f5a642af3aa1627bbff977f0a101907a02c69f Change-Id: I307cc38185ab9e25eb102c95096298a150ae13a2
Diffstat (limited to 'users/grfn/achilles/ach/externs.ach')
0 files changed, 0 insertions, 0 deletions