More small tweaks, and page done #15

Triggered via push October 12, 2024 16:56

main

Status Success

Total duration 31s

Artifacts 1

mdbook.yaml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.5 MB