update
authorMart Lubbers <mart@martlubbers.net>
Thu, 18 Jun 2015 20:10:06 +0000 (22:10 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 18 Jun 2015 20:10:06 +0000 (22:10 +0200)
commit9210bc3afee9f5cad82a533dd223663ff626d4b4
tree6007ba674bdd6a2db46a82b12f19c2d70736a8ed
parentc47217c9919ba1fca8be5d131f32ad14f9507e2b
update
pres/pres.tex