summaryrefslogtreecommitdiff
path: root/patch
AgeCommit message (Collapse)Author
2022-04-26Improve documenatation of our internal rulesKlaus Aehlig
In particular, document the result for the most important rules.
2022-03-04Add rule ["patch", "file"]Klaus Aehlig
... to patch a single file, logically in place.