arratum: typo
authorMart Lubbers <mart@martlubbers.net>
Sun, 20 Aug 2017 12:51:27 +0000 (14:51 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sun, 20 Aug 2017 12:51:27 +0000 (14:51 +0200)
commitcf316d4379dcf1982ff436d3e6cf84bddfb553f6
treee15a3558b52448b06422562a43c40c022567313d
parent5e2e016768ff6575b400955a573ca1ed9fec1b6b
arratum: typo
conclusion.discussion.tex