summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastermerge mzuenni changesGloria Mundi4 weeks
 
 
AgeCommit messageAuthor
2026-09-14merge mzuenni changesHEADmasterGloria Mundi
2026-09-14minor changes to test infrastructureGloria Mundi
2026-08-28also rename in tstsmzuenni
2026-08-28resolvew name conflict...mzuenni
2026-08-24update flow runtimesmzuenni
2026-08-14another commentmzuenni
2026-06-21avoid overflow in ccw*ccwmzuenni
2026-06-05fix typomzuenni
2026-05-04merge mzuenni changesGloria Mundi
2026-05-04fix wildcard matchingmzuenni
[...]
 
Clone
https://git.gloria-mundi.eu/tcr
http://git.5fwt3td3vudzxcuzwaiio5irwf3bbtgyku3ksxvdom6h2oymvkcuh3id.onion/tcr