diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2023-05-31 12:10:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-31 12:10:32 +0200 |
commit | 9a5b9c588fdafd0d22fb5fa6dfa683194450da67 (patch) | |
tree | 86f2a9e0f13781017515c3e2a6d03d7d9201a708 /.github | |
parent | 38491443038c1efb7c42e3a85b9b1656d6a04cbf (diff) | |
parent | 9afd525e1847650589a376a5d3185241e4936b5d (diff) |
Merge pull request #8421 from fricklerhandwerk/doc-replaceStrings
update documentation according to release notes
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions