diff options
| author | Griffin Smith <grfn@gws.fyi> | 2022-06-14T14·15-0400 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-07-11T14·43+0000 |
| commit | bdf614ec3df400c7682f4ca4ec9a488ab7b3691f (patch) | |
| tree | 6b923558d4b9e60239d0cf7807c68b06a9238c77 /users/grfn/system/home/modules/development/agda.nix | |
| parent | 8300d889c50552c3ce5fa8e86b6f604367bf5659 (diff) | |
feat(grfn/home): Install some new rust utilities r/4284
Change-Id: I9e210a86a037c58aa832b25203b5ac8c27306aa3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5933 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
Diffstat (limited to 'users/grfn/system/home/modules/development/agda.nix')
0 files changed, 0 insertions, 0 deletions