diff options
| author | Théo Zimmermann | 2019-10-28 16:44:45 +0100 |
|---|---|---|
| committer | GitHub | 2019-10-28 16:44:45 +0100 |
| commit | 74c6d69a08b50b77c001ca758d25f1a969bf2c73 (patch) | |
| tree | 91d2079d2b081e73d910a7ef90e48d52ca17cdb9 /dev/doc/xml-protocol.md | |
| parent | 342db66cc94a6010a6f301071d251aa458e21547 (diff) | |
Fix typos.
Co-Authored-By: Clément Pit-Claudel <cpitclaudel@users.noreply.github.com>
Diffstat (limited to 'dev/doc/xml-protocol.md')
0 files changed, 0 insertions, 0 deletions