Mercurial > repos > public > sbplib
view checksettings.txt @ 234:eaf557023fbe feature/beams
Added verbose flag to semiDefIneq and minors.
author | Jonatan Werpers <jonatan@werpers.com> |
---|---|
date | Thu, 14 Jul 2016 10:40:57 +0200 |
parents | 579c348244a0 |
children |