jverzani 6d8ac9ff37 build locally, not with CI

2022-06-07 16:01:21 -04:00

..

src

initial

2022-05-24 13:51:49 -04:00

.gitignore

initial

2022-05-24 13:51:49 -04:00

build_cache.toml

build locally, not with CI

2022-06-07 16:01:21 -04:00

build-pages.jl

initial

2022-05-24 13:51:49 -04:00

make.jl

build locally, not with CI

2022-06-07 16:01:21 -04:00

markdown-to-pluto.jl

edits; simplify caching

2022-06-06 11:43:19 -04:00

Project.toml

build pluto only for now

2022-05-28 07:14:56 -04:00

toc.jl

build locally, not with CI

2022-06-07 16:01:21 -04:00

weave-support.jl

build locally, not with CI

2022-06-07 16:01:21 -04:00