search

anoma / juvix-stdlib

The Juvix standard library
https://anoma.github.io/juvix-stdlib/
11 stars 2 forks source link

HTML build: remove --theme argument #120

Closed paulcadman closed 3 months ago

paulcadman commented 3 months ago

The HTML build will use the default theme instead