typo
authorMart Lubbers <mart@martlubbers.net>
Wed, 31 May 2017 09:12:33 +0000 (11:12 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 31 May 2017 09:12:33 +0000 (11:12 +0200)
commit49dd4e8f72ea7aea83a84533b84c2603b0517414
treedddfd7da79e2e5a34a912d39d6114d4a9c7ea847
parent990d0c58524359cc072e7191c05d9b48f7d88d25
typo
intro.tex