release 0.5.1

pull/1/head 0.5.1
parent 59472cc8fc
commit 1f15f690e7
Signed by: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -1,3 +1,11 @@
0.5.1 (2019-10-19)
------------------
- minor bugfixes and documentation clarification
- the --components option now takes component names as a comma or whitespace
separated list or as multiple --components options
- make_mirror.sh now has to be invoked manually before calling coverage.sh
0.5.0 (2019-10-05) 0.5.0 (2019-10-05)
------------------ ------------------

@ -15,7 +15,7 @@
use strict; use strict;
use warnings; use warnings;
our $VERSION = '0.5.0'; our $VERSION = '0.5.1';
use English; use English;
use Getopt::Long; use Getopt::Long;

Loading…
Cancel
Save