Remove public dir, it'll be generated each time.

unisonweb · Nov 9, 2023 · 6897c2d · 6897c2d
1 parent 091fb16
commit 6897c2d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 122 deletions.
diff --git a/haddocks/public/404.html b/haddocks/public/404.html
diff --git a/haddocks/public/index.html b/haddocks/public/index.html