aboutsummaryrefslogtreecommitdiff
path: root/options.ggo
AgeCommit message (Expand)Author
2024-01-21Configurable minimum tree sizeHEADmainMarvin Borner
2023-05-23Made stdout default instead of `out` fileMarvin Borner
2023-05-20Added testing flagMarvin Borner
2023-04-17Added logging and verbosity flagMarvin Borner
2023-04-14pqueue lib and fixesMarvin Borner
2023-04-13Options and fixesMarvin Borner