2 Commits

Author	SHA1	Message	Date
Michael Sproul	ddd63c0de1	Fix Schlesi-splitting penalty bug (#1166) ... * Fix Schlesi-splitting penalty bug * Print correct spec version in lcli	2020-05-19 13:49:23 +10:00
Paul Hauner	ebbc4e3630	Add skip-slots command (#1095)	2020-05-04 08:04:00 +10:00