aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Derived.mli (follow)
Commit message (Expand)AuthorAgeFilesLines
* drop journal in favor of local branch historyMarcos Magueta2026-10-071-13/+0
* journal for the websitejournalMarcos Magueta2026-10-051-0/+13