diff options
| author | Griffin Smith <grfn@gws.fyi> | 2021-01-29T17·14-0500 |
|---|---|---|
| committer | glittershark <grfn@gws.fyi> | 2021-01-29T21·47+0000 |
| commit | 892c51caa6c95d4863fa25bb12a87897927f7843 (patch) | |
| tree | 3045d053f04d314578769173fa89586487379da3 /.gitignore | |
| parent | 4856643282210b5d58130c8441929182552cc45f (diff) | |
fix(gs/emacs): Don't try to load agda-mode r/2157
It's not installed because it's broken right now Change-Id: I1bf198788fb90aabe3ba1a7b65399c3579983704 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2459 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions