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