hoi
authorMart Lubbers <mart@martlubbers.net>
Mon, 22 Jun 2015 21:10:38 +0000 (23:10 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 22 Jun 2015 21:10:38 +0000 (23:10 +0200)
commitf1d5e0b6ef9f40c7ca2703b09d9e9d708bdde4df
tree7f0774554d33e0e374a2c8b01652914c340809e0
parenteb59dab796a98c4f5cefae9dd3497ebb7ff2a027
hoi
pres/pres.tex