diff mxtool/.project @ 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 527724d26036
children
line wrap: on
line diff