diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2023-04-07 13:34:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-07 13:34:24 +0200 |
| commit | 393e14965acbf0c9a1942a249a55705be9881918 (patch) | |
| tree | 7695faab05ae377a241b0f9531b5faf93405b84c /docs/dev/makefile.rst | |
| parent | 53c154e2b1f304cc624142dff7bde30120efc029 (diff) | |
| parent | 8f79dd7659a3d837108b402dcd482910d55b57d8 (diff) | |
Merge pull request #2326 from return42/ungrouped
[mod] clarify the difference of the default category and subgrouping
Diffstat (limited to 'docs/dev/makefile.rst')
0 files changed, 0 insertions, 0 deletions