| Sat, 11 Feb 2012 12:13:08 +0100 | bulwahn | making num_mutations a configuration that can be changed with the mutabelle bash command | file | diff | annotate |
| Sat, 11 Feb 2012 11:36:23 +0100 | bulwahn | making max_mutants an option that can be changed in the Mutabelle-script | file | diff | annotate |