about summary refs log tree commit diff
path: root/users/glittershark/system/home/modules/development/agda.nix (follow)
AgeCommit message (Expand)AuthorFilesLines
2021-04-12 r/2485 refactor(users/glittershark): Rename to grfnGriffin Smith1-58/+0
2020-07-13 r/1282 feat(gs/home): Integrate home-manager with depotGriffin Smith1-5/+2
2020-06-16 r/975 Add 'users/glittershark/system/' from commit '3b174300ae60f63f50427cde3bfd680...Vincent Ambo1-0/+61