aboutsummaryrefslogtreecommitdiff
path: root/.envrc (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-15BlahMarc Coquand1-0/+1