diff options
author | Aspen Smith <root@gws.fyi> | 2024-03-11T01·53-0400 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-03-11T01·58+0000 |
commit | a0225431de659ce49108a92eed602e997eaf4bcd (patch) | |
tree | 17f2165093f01203c27dedb8e3a79b78fd830973 /users/glittershark/system/home/modules/development/agda.nix | |
parent | 58379302f4f328d16dfb8ed3b01bf2b3a045143b (diff) |
feat(aspen/emacs): Some more rust bindings r/7675
Change-Id: Iabdd9f75438e83e73c7e423a3646d72b9bbe5b83 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11129 Reviewed-by: aspen <root@gws.fyi> Tested-by: BuildkiteCI Autosubmit: aspen <root@gws.fyi>
Diffstat (limited to 'users/glittershark/system/home/modules/development/agda.nix')
0 files changed, 0 insertions, 0 deletions