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