summaryrefslogtreecommitdiffstats
path: root/doc/dev_patching.rst
Commit message (Expand)AuthorAgeFilesLines
* doc: dev_patching: remove outdated note about 'extract --git'Roland Hieber2023-03-101-3/+0
* doc: dev manual: how to recover from patch merge conflicts with gitRoland Hieber2021-06-251-0/+72
* doc: dev manual: propagate two subsections to sectionsRoland Hieber2021-06-251-0/+226