Skip to content

Commit 5f6bdd3

Browse files
committed
Preface: fix minor typo
1 parent 8bdb5b4 commit 5f6bdd3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/Preface.lidr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -376,7 +376,7 @@ search engines.
376376
377377
\todo[inline]{See
378378
\href{https://github.com/idris-hackers/software-foundations/issues/25}{\#25} and
379-
\href{ https://github.com/idris-hackers/software-foundations/issues/30}{\#30}}
379+
\href{https://github.com/idris-hackers/software-foundations/issues/30}{\#30}}
380380
381381
\todo[inline]{Generate a "release" after the Rel chapter and update this
382382
subsection accordingly.}

0 commit comments

Comments
 (0)