summaryrefslogtreecommitdiff
path: root/compiler/.gitignore (follow)
Commit message (Expand)AuthorAgeFilesLines
* Ensure `./charon` points to a valid charon cloneNadrieril2024-05-141-1/+0
* Facilitate development by having a local Makefile invoke duneJonathan Protzenko2023-06-041-0/+1