summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/alt-ergo: fix QA_FLAGS_IGNOREDThomas Deutschmann21 min.