tobi 807a8e1cf6
[Documentation] Update glossary, expand entry for dereferencing (#542)
* Update glossary, expand entry for dereferencing

* Add glossary as separate file
2022-05-04 14:33:24 +02:00
..
2021-10-24 12:11:31 +02:00
2021-08-10 13:32:39 +02:00