diff options
author | P. Horban <[email protected]> | 2020-12-22 15:22:33 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-22 15:22:33 +0000 |
commit | 92b13d2fab0e816a905ceb4e7004628054d25922 (patch) | |
tree | 0691bcfd1812aa97a35dfc8ece962fa9acb87325 /docs/dev | |
parent | a8b60afc2ad8cd91aa00ae87147a4e0cb81b4183 (diff) |
Fix grammar nit
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions