aboutsummaryrefslogtreecommitdiff
path: root/shell/idris.nix
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2025-05-31 14:44:13 +0530
committerAkshay Nair <phenax5@gmail.com>2025-05-31 14:44:13 +0530
commit1e52ce372783806b98fa0578e0b17a3c169829e3 (patch)
tree811f26e5e33b3442d9ce44497667e64780736457 /shell/idris.nix
parent59ef7c364185f611d69d4201d3ae9dc8820eaca4 (diff)
downloadnixos-config-1e52ce372783806b98fa0578e0b17a3c169829e3.tar.gz
nixos-config-1e52ce372783806b98fa0578e0b17a3c169829e3.zip
Submodule sync
Diffstat (limited to 'shell/idris.nix')
0 files changed, 0 insertions, 0 deletions