about summary refs log tree commit diff
path: root/users/glittershark/system/home/modules/development.nix
diff options
context:
space:
mode:
authorGriffin Smith <grfn@gws.fyi>2021-01-29T17·14-0500
committerglittershark <grfn@gws.fyi>2021-01-29T21·47+0000
commit892c51caa6c95d4863fa25bb12a87897927f7843 (patch)
tree3045d053f04d314578769173fa89586487379da3 /users/glittershark/system/home/modules/development.nix
parent4856643282210b5d58130c8441929182552cc45f (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 'users/glittershark/system/home/modules/development.nix')
0 files changed, 0 insertions, 0 deletions