summaryrefslogtreecommitdiff
path: root/.gitignore
blob: f757d175c51e0ce35c005a7f8ba4485a4c5f94ac (plain)
1
2
tangle/*
*.patch