| commit | 73800013b0f66e20935449fbfa04851f3dc3abb4 | |
| author | pgen <p.gen.progs@gmail.com> | |
| Fri, 1 May 2020 16:15:06 +0000 (1 18:15 +0200) | ||
| committer | pgen <p.gen.progs@gmail.com> | |
| Tue, 5 May 2020 20:57:08 +0000 (5 22:57 +0200) | ||
| tree | f324ebc5af064871b717adfcc28ebf1d69597dd2 | treesnapshot (tar.gz zip) |
| parent | e4d3fad04236c8588073a31b63fd9e7ae25347de | commitdiff |
Add a flag system to tune the behaviour of ctxopt