Max Brunsfeld ca7ff033db Fix wasm build issues introduced by switching to wasi-sdk (#4407) ... * Don't shell out for extracting tar.gz files * Avoid wasi-sdk adding dependency on libc.so * Clippy * Fix -nostdlib flag		2025-04-27 19:42:34 -07:00
..
src	Fix wasm build issues introduced by switching to wasi-sdk (#4407)	2025-04-27 19:42:34 -07:00
theme	docs: add favicon and logo	2024-12-25 21:23:36 -05:00
.gitignore	docs: migrate to mdbook	2024-12-24 20:54:59 -05:00
book.toml	docs: add mdbook-admonish for better tooltips	2025-01-10 02:58:38 -05:00