diff mxtool/mx @ 11626:340e67bf1758

Rename GuardsPhase to GuardsStage to avoid confusion with existing Phases
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 13 Sep 2013 14:47:04 +0200
parents 98918f518640
children 841a9f98b97c
line wrap: on
line diff