summaryrefslogtreecommitdiff
path: root/reserve.dot
AgeCommit message (Collapse)Author
2023-09-04various doc fixesFlorian Dold
2020-07-15update manualChristian Grothoff
2020-07-12more state machinesChristian Grothoff