diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-10-12T07·21+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-10-12T07·29+0000 |
| commit | 04fccd89a50df7e36129493110f38c69563d941b (patch) | |
| tree | 544055a13d268494f9360fae0d67db640037f3ef /tvix/eval/src/properties.rs | |
| parent | f2bf65a40bfc3807adf14e983f870b0b75b1d074 (diff) | |
chore(tazjin/keys): update SSH key set r/5112
frog is defunct for now, unihertz phone is replaced with palm (on which I don't run SSH), and for b/210 I'd like a non-sk key on zamalek Change-Id: Ie99e650dcf9deef91a0f63d4171a332a8e596de0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6950 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/properties.rs')
0 files changed, 0 insertions, 0 deletions