From fd7ee23bbe8a9ffe7e3d46a4e199274699da6967 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Sun, 17 Jun 2018 13:56:57 +0100 Subject: [PATCH] add config slide --- pinmux/pinmux_chennai_2018.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pinmux/pinmux_chennai_2018.tex b/pinmux/pinmux_chennai_2018.tex index 82c2794ed..5685f1dc4 100644 --- a/pinmux/pinmux_chennai_2018.tex +++ b/pinmux/pinmux_chennai_2018.tex @@ -103,7 +103,7 @@ auto-generated\vspace{30pt} } \\ - (translation: it would be insanely costly to do them by hand) + (i.e. it would be insanely costly to do them by hand) \end{center} } -- 2.30.2