hoi
authorMart Lubbers <mart@martlubbers.net>
Mon, 22 Jun 2015 21:15:24 +0000 (23:15 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 22 Jun 2015 21:15:24 +0000 (23:15 +0200)
commitb0ff70dca847ceed87ab5dc1e6f852e1478062ef
treedc6b2c89a08f5e3a21700cbf3b539b810a67fbcd
parent9176f66aee35f112399a5efbe9cb9c7b61449a0e
hoi
pres/pres.tex