aboutsummaryrefslogtreecommitdiff
path: root/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-05-10remove gitignore stuffMarc Coquand1-1/+0