summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/why3-for-spark: refix QA_FLAGSAlfredo Tupone13 min.