change query-server-url

ucsd-progsys · Sep 30, 2024 · 077437f · 077437f
1 parent 4647f85
commit 077437f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/templates/preamble.lhs b/templates/preamble.lhs
@@ -8,7 +8,7 @@ toc:            true
 bibliography:   sw.bib
 notitle:        true
 root:           "."
-liquidserver:   "https://liquidhaskell.goto.ucsd.edu/index.html"
+liquidserver:   "https://liquidhaskell.goto.ucsd.edu/"
 pdflink:        "book.pdf"
 version:        13
 ---