update glossaries
authorMart Lubbers <mart@martlubbers.net>
Fri, 17 Feb 2017 16:01:45 +0000 (17:01 +0100)
committerMart Lubbers <mart@martlubbers.net>
Fri, 17 Feb 2017 16:01:45 +0000 (17:01 +0100)
commitb7d14e48236d740ca4805f6404311de84b7702a3
tree5c6ff92ebe92e68f601c047349b95e6892eb6ec7
parent9c940edab2b3282dc658a629a24573e92964ae77
update glossaries
thesis.tex