manual: fix pdflatex inputenc undefined char error
authorGabriel Somlo <gsomlo@gmail.com>
Sun, 7 Nov 2021 00:08:56 +0000 (20:08 -0400)
committerMarcelina Koƛcielnicka <mwk@0x04.net>
Sun, 7 Nov 2021 02:05:03 +0000 (03:05 +0100)
commit9a413803eb83f96d74dc48aee8a2319e1b926692
tree63b06f8007e38574d007a6f93eb9afd35e1c506a
parenta3eec687e042679b1a55d8bfdb55484acba81525
manual: fix pdflatex inputenc undefined char error

Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
manual/command-reference-manual.tex