update
authorMart Lubbers <mart@martlubbers.net>
Wed, 5 Jul 2017 18:06:07 +0000 (20:06 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 5 Jul 2017 18:06:07 +0000 (20:06 +0200)
commit5be4e2b2dc655e3e4572f67fb1f9243024a1fefe
tree3698250f60b0629fe694bf8717e5e03d43df97e8
parent73ae126c560b79464769b58668f7543f7c4734c0
update
pres.mtask.tex
pres.system.tex