Small fix to glossary.
authorGerd Zellweger <mail@gerdzellweger.com>
Tue, 16 May 2017 11:32:43 +0000 (13:32 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Tue, 16 May 2017 11:32:43 +0000 (13:32 +0200)
commit81d0d9a1187154e4f3786c3e15bdd6a911ded9b0
tree9d4c034dec29cf80874d5f9e3ab3ceca5a5bbcb8
parentc6cedb47cc58803b18b9068524ca39a83536a52c
Small fix to glossary.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
doc/001-glossary/Main.hs