tweak order, as sometimes we were missing the debug mode stage
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 7 Oct 2010 09:13:42 +0000 (11:13 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 7 Oct 2010 09:13:42 +0000 (11:13 +0200)

No differences found