| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2026-07-26 | build script: remove removed optionHEADmain | stuebinm | 1 | -1/+0 |
| 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 |
