typo
authorThomas Pietrzak <thomas.pietrzak@gmail.com>
Mon, 3 May 2021 12:57:27 +0000 (14:57 +0200)
committerThomas Pietrzak <thomas.pietrzak@gmail.com>
Mon, 3 May 2021 12:57:27 +0000 (14:57 +0200)
commit09c910bc850dda39858a2af317d6b3f03fb473ba
tree9b0de93b6e1b544de3c855a56c6680d68a80c40f
parent2ce2256fde735e5084e0d83ea3670b811f73beb0
typo
tex/1-introduction.tex