diff options
| author | David Mehren | 2020-11-18 13:31:20 +0100 |
|---|---|---|
| committer | David Mehren | 2020-11-18 13:31:20 +0100 |
| commit | 2432091fb622077592b948763cf325dee7dd3ee0 (patch) | |
| tree | acd96257f528eeee28b64d7559ce23805b70c133 /docs/dev/ot.md | |
| parent | f77f9fac19e6ffbcf41e00b17791ef4d042cad3b (diff) | |
Fix introductory sentence
Signed-off-by: David Mehren <git@herrmehren.de>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions