revert to testing only pl by default for now - use '-y pl -y pg' for
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 15 Nov 2011 17:59:58 +0000 (18:59 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 15 Nov 2011 17:59:58 +0000 (18:59 +0100)
commit99b7801bb3be27f0d03e230074680a310cd2033e
tree3f415868661912ffa852aafe06cef04d7e285ec4
parent67951e2d2f0001b8405977534a22237b4991e04f
revert to testing only pl by default for now - use '-y pl -y pg' for
testing both styles
system/TestMain.py