diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2023-05-08 17:00:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-08 17:00:23 +0200 |
| commit | 4539ab530ad23a8558512f784bd72c4cd0e72f13 (patch) | |
| tree | c0eaaf04ca37a3eacc70a51d195ff8dc2fd403f7 /doc/manual | |
| parent | b5d9ef0a4ce621a0f022bba7105d21d269e6455c (diff) | |
| parent | 7c03285719242cafeb031b98840ee4328165152f (diff) | |
Merge pull request #8296 from fricklerhandwerk/contributing-idea-approved
highlight 'idea approved' issues in contributing guide
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions