diff options
| author | Florian Klink <flokli@flokli.de> | 2024-11-06T16·36+0000 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-11-06T16·48+0000 |
| commit | c0c66f8bcc28c80f62fb5a489b0915d4caff8980 (patch) | |
| tree | 0752b470f113df5ad6f3c7878348012c76f7643a /tvix/docs/src/TODO.md | |
| parent | b88579ade41244b09555bbb68296033fc300043f (diff) | |
fix(users/flokli/kb/dilemma): fix one more RALT r/8894
This makes it quite hard to press Alt+Number otherwise. Change-Id: Id1cc4fbfa1575cc213014106f734bec035d46f2c Reviewed-on: https://cl.tvl.fyi/c/depot/+/12737 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/docs/src/TODO.md')
0 files changed, 0 insertions, 0 deletions