# HG changeset patch
# User wenzelm
# Date 1667588574 -3600
# Node ID 3d491d1eeff717ddc8b951b234a4ebd0ec957d30
# Parent  721e5b7daa6db7311133949af93a033243f120b8
prefer explicit utf8 for old pdflatex;

diff -r 721e5b7daa6d -r 3d491d1eeff7 src/Doc/Demo_LIPIcs/document/root.tex
--- a/src/Doc/Demo_LIPIcs/document/root.tex	Fri Nov 04 19:59:00 2022 +0100
+++ b/src/Doc/Demo_LIPIcs/document/root.tex	Fri Nov 04 20:02:54 2022 +0100
@@ -1,4 +1,5 @@
 \documentclass[a4paper,UKenglish,cleveref,autoref]{lipics-v2021}
+\usepackage[utf8]{inputenc}
 
 \usepackage{isabelle,isabellesym}
 \isabellestyle{it}