hoi
authorMart Lubbers <mart@martlubbers.net>
Mon, 22 Jun 2015 21:11:48 +0000 (23:11 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 22 Jun 2015 21:11:48 +0000 (23:11 +0200)
commit9176f66aee35f112399a5efbe9cb9c7b61449a0e
tree29e85411b062e2873e667ef19788e9d79a7f1b68
parentf1d5e0b6ef9f40c7ca2703b09d9e9d708bdde4df
hoi
pres/pres.tex