summaryrefslogtreecommitdiff
path: root/compiler/.gitignore (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-14Ensure `./charon` points to a valid charon cloneNadrieril1-1/+0
2023-06-04Facilitate development by having a local Makefile invoke duneJonathan Protzenko1-0/+1