| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-05-02 | reorganised docs locations (doc/* -> doc/online/*, doc/freestanding/* -> doc/*) | eudoxia |
| 2022-04-25 | added license headers | eudoxia |
| 2022-04-08 | control flow restructuring; removed doc timestamps | eudoxia |
| 2022-04-07 | doc/freestanding: fixed header; backend syncing with distress.network | eudoxia |
| 2022-04-01 | docs formatting fixes | eudoxia |
| 2022-04-01 | doc generation integrated with distress.network | eudoxia |
| 2022-03-31 | initial | eudoxia |
 |
index : literary | |
| A lightweight literate programming tool | DistressNetwork° |
| summaryrefslogtreecommitdiff |
path: root/gen-docs.sh