diff options
| author | Vincent Ambo <tazjin@tvl.su> | 2023-11-30T18·20+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-12-01T16·22+0000 |
| commit | 3f60140402cc8ede665bea5f0f733c54e44a9d47 (patch) | |
| tree | 6ba95255a3f9d47e2e9a3a6fa67a734f8018ad9a /tvix/.gitignore | |
| parent | dfd93efee0c918e277765c331bd4e52fef58acf6 (diff) | |
chore(tazjin/emacs): remove company-mode r/7101
I have a suspicion that some strange behaviour I occasionally get is related to company mode. Change-Id: I26f25c31967ae092d15248a806acdf4f28cb4c10 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10176 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions