updates
authorMart Lubbers <mart@martlubbers.net>
Sun, 9 Jul 2017 09:58:31 +0000 (11:58 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sun, 9 Jul 2017 09:58:31 +0000 (11:58 +0200)
commita93f144b810887e1bd3b0a0e1e1b098ca7b8ae9c
tree498e65780bc71c5c5655018ece90a4f3cb3191d2
parente4070f8e22cea2ddf430743b0b29fc57fba5d865
updates
pres.system.tex
presentation.pre