docs: add a couple of entries to glossary
authorØyvind Kolås <pippin@gimp.org>
Wed, 24 Jul 2019 16:00:56 +0000 (18:00 +0200)
committerØyvind Kolås <pippin@gimp.org>
Wed, 24 Jul 2019 16:00:56 +0000 (18:00 +0200)
commit974571f58f7f9071a413698786bdd354a587282c
treed4bf3711e8a17171d28f01bc5c1fb7a19ff14a4d
parentbb0ecbfe4c855de48394e35ca16507ee6048ea20
docs: add a couple of entries to glossary
docs/Glossary-static.html