aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src/glossary.md
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2021-10-01 14:18:07 +0200
committerGitHub <noreply@github.com>2021-10-01 14:18:07 +0200
commit91b39eee25f74ddc4e0411ad08c7f643c09b4c6b (patch)
tree5fcee1aa342448688524d1ff7402c070606f956d /doc/manual/src/glossary.md
parent5e222ac18b447ac22b55c71842bd61342e8929f1 (diff)
Typo
Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>
Diffstat (limited to 'doc/manual/src/glossary.md')
0 files changed, 0 insertions, 0 deletions