| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2026-07-26 | build script: remove removed optionHEADmain | stuebinm | 1 | -1/+0 | |
| (makes the build fail now) | |||||
| 2022-06-14 | add CC licence into book itself | stuebinm | 1 | -0/+4 | |
| 2022-06-13 | add build script for mdbook | stuebinm | 2 | -0/+21 | |
| 2022-03-22 | re arrange repo | isabelle-dr | 23 | -0/+3852 | |
