tree e87c71786e662336cda2a82601ca8ffed39f750d
parent 04dd98464b43b5a80fbd666198bd2ab11a1f6ed0
author Marc Kupietz <kupietz@ids-mannheim.de> 1633622259 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1633622259 +0200

Let number of folds (-F) default to 1

Change-Id: Ie6953920493b26830ae6eda97338b3bb1f847f43