summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterREADME: Remove GitHub URLs tooLars-Dominik Braun19 months
 
 
AgeCommit messageAuthorFilesLines
2022-09-07README: Remove GitHub URLs tooHEADmasterLars-Dominik Braun1-5/+3
2022-09-07Copy-edit specificationLars-Dominik Braun8-246/+280
2022-09-04Change GitHub URLs to CodebergLars-Dominik Braun1-2/+2
2022-09-03lint: Drop argument unpacking and error caseLars-Dominik Braun1-2/+1
2022-09-03graph: Move bullet point into textLars-Dominik Braun1-4/+4
2022-08-29serialize: Resolve todosLars-Dominik Braun1-5/+0
2022-08-29graph: Use code markup for code examplesLars-Dominik Braun1-1/+2
2022-08-29lint: Add check for circular graphLars-Dominik Braun1-3/+39
2022-08-29graph: Use node id when querying incoming/outcoming nodes/edgesLars-Dominik Braun2-10/+10
2022-08-28lint: Add uniqueness test for Results/AlternativesLars-Dominik Braun2-3/+31
[...]
 
Clone
https://6xq.net/git/lars/pesto.git