summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/why3-for-spark: drop myself as a maintainerAlfredo Tupone3 min.