update pet for introduction of pet_options
commit10f86770e068164aab6cbafa955439dda8428055
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 14 Nov 2011 10:21:07 +0000 (14 11:21 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 14 Nov 2011 10:22:37 +0000 (14 11:22 +0100)
treedde0b369cd05556ce38fcb61f76110613b3d1e5a
parent5c4963d4b380a7c2b31d4293b5918e46becdd0d1
update pet for introduction of pet_options

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