| 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/+5 | |
| 2022-06-13 | add build script for mdbook | stuebinm | 2 | -0/+30 | |
| 2022-03-22 | re arrange repo | isabelle-dr | 32 | -0/+2671 | |
