Fix typo
authorThomas Pietrzak <thomas.pietrzak@gmail.com>
Thu, 9 Jun 2022 12:20:25 +0000 (14:20 +0200)
committerThomas Pietrzak <thomas.pietrzak@gmail.com>
Thu, 9 Jun 2022 12:20:25 +0000 (14:20 +0200)
commit8d17c4630c720671059b72398186570fe07606c3
tree0b231a420b97309b287a7c8a2d552ebdc7f8d85c
parent23b20c96e94b9480fb3756eb6cd915c9c34c00bd
Fix typo
tex/3-input.tex