aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src/protocols
AgeCommit message (Expand)Author
2023-09-06Retitle section as Robert suggestsJohn Ericson
2023-09-05Test and begin documentation of the ATerm format for derivationsJohn Ericson
2023-08-29Document that redirected tarball flakerefs can specify lastModifiedEelco Dolstra
2023-06-16Apply suggestions from code reviewEelco Dolstra
2023-06-16Add docsEelco Dolstra