summaryrefslogtreecommitdiffstats
path: root/development/noweb/patches/make_cleanup.diff
AgeCommit message (Expand)Author
2021-09-06development/noweb: Updated for version 2.12 Kyle Guinn