aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2022-08-25Ignore all .patch filesPhilip Kaludercic
2022-04-08Use Texinfo definition commands and add indicesJonas Bernoulli
2022-03-04Exclude the generated manual from the repositoryPhilip Kaludercic
2021-10-05Initial importPhilip Kaludercic