diff options
| author | John Ericson <git@JohnEricson.me> | 2023-09-06 08:43:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-06 08:43:16 -0400 |
| commit | d568877eab59a490694e0bc3edec99d13049552c (patch) | |
| tree | bc5c2c9dbf0a57eeda790bd5bc553adb46eb9c30 /doc/manual/theme | |
| parent | 880d9cabedf7ef1707dd64c44a0a76d61d0ca79a (diff) | |
Retitle section as Robert suggests
Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>
Diffstat (limited to 'doc/manual/theme')
0 files changed, 0 insertions, 0 deletions