summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterremoved unnecessary definitioneudoxia3 months
 
 
AgeCommit messageAuthor
2022-08-26removed unnecessary definitionHEADmastereudoxia
2022-07-21docs/usage: future workeudoxia
2022-07-21cleaneudoxia
2022-05-02reorganised docs locations (doc/* -> doc/online/*, doc/freestanding/* -> doc/*)eudoxia
2022-05-02section searching iterates forwardseudoxia
2022-05-01slight formatting fixes, misc cleaningeudoxia
2022-04-25added license headerseudoxia
2022-04-08control flow restructuring; removed doc timestampseudoxia
2022-04-07doc/freestanding: fixed header; backend syncing with distress.networkeudoxia
2022-04-01docs formatting fixeseudoxia
[...]