small title change
authorMart Lubbers <mart@martlubbers.net>
Mon, 3 Jul 2017 15:29:28 +0000 (17:29 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 3 Jul 2017 15:29:28 +0000 (17:29 +0200)
commitc27e489394cfa9f929b5ebcdbef2aa59446edbb4
tree093ce24697edad42df884f504198b167fac7bea8
parent1a485d8cb25f32306de56dcdf1305599aadbb909
small title change
thesis.tex