diff --git a/ghci.html b/ghci.html index aef9a10..01f55e3 100644 --- a/ghci.html +++ b/ghci.html @@ -18,6 +18,9 @@