Preface: fix minor typo

idris-hackers · Oct 29, 2018 · d3c756a · d3c756a
1 parent 792ad0c
commit d3c756a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Preface.lidr b/src/Preface.lidr
@@ -376,7 +376,7 @@ search engines.
 
 \todo[inline]{See
 \href{https://github.com/idris-hackers/software-foundations/issues/25}{\#25} and
-\href{ https://github.com/idris-hackers/software-foundations/issues/30}{\#30}}
+\href{https://github.com/idris-hackers/software-foundations/issues/30}{\#30}}
 
 \todo[inline]{Generate a "release" after the Rel chapter and update this
 subsection accordingly.}