summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
gzipRemoving Z3/gzip support.Thomas Hintz6 years
masterMaybe fixing session issues.Thomas Hintz6 years