update pet for dropping -Wcovered-switch-default flag
commit0affd8e6a80665418e7451551b358f9d2b90015c
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 27 Oct 2015 08:00:36 +0000 (27 09:00 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 27 Oct 2015 08:00:36 +0000 (27 09:00 +0100)
tree51648336ed11a724493197637fc628f2a84a6723
parentd619b5e749ce64da293406cdf4579fe55d21dec5
update pet for dropping -Wcovered-switch-default flag

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
pet