Properly name the set of ppcg options
commit49244a459b4f92113511ce00d3f159cfbef4d7a8
authorTobias Grosser <tobias@grosser.es>
Thu, 1 Mar 2012 12:57:24 +0000 (1 13:57 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 4 Mar 2012 13:12:09 +0000 (4 14:12 +0100)
treed3382ada40bb003707a8683b67821917927f108b
parent97852a652c50c738cc738a734fa71bc49f4bf32d
Properly name the set of ppcg options

Otherwise they seem to be part of the group of pet options that is
printed right above them.

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
ppcg.c