summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2024-09-15setup make rules to handle HedgeDocJonas Smedegaard